{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T16:55:23Z","timestamp":1671036923553},"reference-count":81,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T00:00:00Z","timestamp":1500422400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s11219-017-9376-4","type":"journal-article","created":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T00:02:58Z","timestamp":1500422578000},"page":"921-959","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation"],"prefix":"10.1007","volume":"26","author":[{"given":"Silvana Morita","family":"Melo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone do Rocio Senger","family":"de Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe Santos","family":"Sarmanho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo Sergio Lopes de","family":"Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,19]]},"reference":[{"key":"9376_CR1","unstructured":"Badlaney, J., Ghatol, R., & Jadhwani, R. (2006). An introduction to data-flow testing. Tech. Rep. 22, North Carolina State University, Raleigh."},{"key":"9376_CR2","doi-asserted-by":"crossref","unstructured":"Basili, V.R. (1996). The role of experimentation in software engineering: past, current, and future. In ICSE (pp. 442\u2013449).","DOI":"10.1109\/ICSE.1996.493439"},{"key":"9376_CR3","unstructured":"Bradbury, J.S., & Jalbert, K. (2009). Defining a catalog of programming anti-patterns for concurrent java. In Proceedings of SPAQu\u201909 (pp. 6\u201311)."},{"key":"9376_CR4","doi-asserted-by":"crossref","unstructured":"Brito, M.A.S., do Rocio Senger de Souza, S., & de Souza, P.S.L. (2013). An empirical evaluation of the cost and effectiveness of structural testing criteria for concurrent programs. In ICCS (Vol. 18, pp. 250\u2013259). Elsevier, Procedia.","DOI":"10.1016\/j.procs.2013.05.188"},{"key":"9376_CR5","doi-asserted-by":"crossref","unstructured":"Brito, M.A.S., Santos, M., Souza, P.S.L., & Souza, S.R.S. (2015). Integration testing criteria for mobile robotic systems. In The 27th international conference on software engineering and knowledge engineering, SEKE 2015, July 6\u20138, 2015 (pp. 182\u2013187). Pittsburgh: Wyndham Pittsburgh University Center.","DOI":"10.18293\/SEKE2015-191"},{"issue":"18","key":"9376_CR6","doi-asserted-by":"crossref","first-page":"2445","DOI":"10.1002\/cpe.1573","volume":"22","author":"RH Carver","year":"2010","unstructured":"Carver, R.H., & Lei, Y. (2010). Distributed reachability testing of concurrent programs. Concurrency and Computation: Practice and Experience, 22(18), 2445\u20132466.","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"2","key":"9376_CR7","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.73751","volume":"8","author":"RH Carver","year":"1991","unstructured":"Carver, R.H., & Tai, K.C. (1991). Replay and testing for concurrent programs. IEEE Software, 8(2), 66\u201374.","journal-title":"IEEE Software"},{"key":"9376_CR8","doi-asserted-by":"crossref","unstructured":"Chung, C.M., Shih, T.K., Wang, Y.H., Lin, W.C., & Kou, Y.F. (1996). Task decomposition testing and metrics for concurrent programs. In Fifth international symposium on software reliability engineering (pp. 122\u2013130).","DOI":"10.1109\/ISSRE.1996.558726"},{"key":"9376_CR9","doi-asserted-by":"crossref","unstructured":"Cordeiro, L., & Fischer, B. (2011). Verifying multi-threaded software using smt-based context-bounded model checking. In 33rd international conference on software engineering, ICSE (pp. 331\u2013340). New York: ACM.","DOI":"10.1145\/1985793.1985839"},{"key":"9376_CR10","doi-asserted-by":"publisher","unstructured":"da Costa Ara\u00fajo, I, da Silva, W.O., de Sousa Nunes, J.B., & Neto, F.O. (2016). Arrestt: a framework to create reproducible experiments to evaluate software testing techniques. In Proceedings of the 1st Brazilian symposium on systematic and automated software testing, SAST (pp. 1:1\u20131:10). New York: ACM. doi: 10.1145\/2993288.2993303 .","DOI":"10.1145\/2993288.2993303"},{"key":"9376_CR11","unstructured":"Damodaran-Kamal, S.K., & Francioni, J.M. (1993). Nondeterminacy: testing and debugging in message passing parallel programs. In 3rd ACM\/ONR workshop on parallel and distributed debugging (pp. 118\u2013128). ACM."},{"key":"9376_CR12","doi-asserted-by":"crossref","unstructured":"de Oliveira Neto, F.G., Torkar, R., & Machado, P.D.L. (2015). An initiative to improve reproducibility and empirical evaluation of software testing techniques. In Proceedings of the 37th international conference on software engineering - Volume 2 ICSE\u201915 (pp. 575\u2013578). Piscataway: IEEE Press.","DOI":"10.1109\/ICSE.2015.197"},{"key":"9376_CR13","doi-asserted-by":"crossref","unstructured":"Denaro, G., Pezz\u00e8, M, & Vivanti, M. (2013). Quantifying the complexity of dataflow testing. In 8th international workshop on automation of software test, AST 2013, May 18\u201319 (pp. 132\u2013138). San Francisco.","DOI":"10.1109\/IWAST.2013.6595804"},{"key":"9376_CR14","doi-asserted-by":"crossref","unstructured":"Dourado, G.G.M., de Souza, P.S.L., Prado, R.R., Batista, R.N., Souza, S.R.S., Estrella, J.C., Bruschi, S.M., & Louren\u00e7o, J (2016). A suite of Java message-passing benchmarks to support the validation of testing models, criteria and tools. In International conference on computational science 2016, ICCS 2016, 6\u20138 June, 2016, (pp. 2226\u20132230). San Diego, California.","DOI":"10.1016\/j.procs.2016.05.387"},{"key":"9376_CR15","unstructured":"Edelstein, O., Farchi, E., Golden, E., Nir, Y., Ratsaby, G., & Ur, S. (2002). Contest: a users perspective. In 5th international conference on achieving quality in software. Venezia."},{"issue":"3\u20135","key":"9376_CR16","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O Edelstein","year":"2003","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., & Ur, S. (2003). Framework for testing multi-threaded java programs. Concurrency and Computation: Practice and Experience, 15(3\u20135), 485\u2013 499.","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"9376_CR17","doi-asserted-by":"crossref","unstructured":"Farchi, E., Nir, Y., & Ur, S. (2003). Concurrent bug patterns and how to test them. In 17th international parallel and distributed processing symposium (IPDPS 2003) - workshop on parallel and distributed systems: testing and debugging (pp. 286\u2013293). Nice: IEEE Computer Society.","DOI":"10.1109\/IPDPS.2003.1213511"},{"issue":"3","key":"9376_CR18","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0164-1212(93)90024-R","volume":"21","author":"LM Foreman","year":"1993","unstructured":"Foreman, L.M., & Zweben, S.H. (1993). A study of the effectiveness of control and data flow testing strategies. Journal of Systems and Software, 21(3), 215\u2013228.","journal-title":"Journal of Systems and Software"},{"key":"9376_CR19","unstructured":"Frankl, F.G., & Weyuker, E.J. (1986). Data flow testing in the presence of unexecutable paths. In Workshop on software testing (pp. 4\u201313). Banff."},{"issue":"200","key":"9376_CR20","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1080\/01621459.1937.10503522","volume":"32","author":"M Friedman","year":"1937","unstructured":"Friedman, M. (1937). The use of ranks to avoid the assumption of normality implicit in the analysis of variance. Journal of the American Statistical Association, 32(200), 675\u2013701.","journal-title":"Journal of the American Statistical Association"},{"key":"9376_CR21","unstructured":"Giacometti, C., Souza, S.R.S., & Souza, P.S.L. (2002). Teste de muta\u00e7\u00e3o para a valida\u00e7\u00e3o de aplica\u00e7\u00f5es concorrentes usando PVM. REIC. Revista Eletr\u00f4nica de Inicia\u00e7\u00e3o Cient\u00edfica, v. II, n. III."},{"key":"9376_CR22","volume-title":"Introduction to parallel computing, 2nd Edn","author":"A Grama","year":"2003","unstructured":"Grama, A., Karypis, G., Kumar, V., & Gupta, A. (2003). Introduction to parallel computing, 2nd Edn. Reading: Addison Wesley."},{"key":"9376_CR23","doi-asserted-by":"crossref","unstructured":"Hong, S., Staats, M., Ahn, J., Kim, M., & Rothermel, G. (2013). The impact of concurrent coverage metrics on testing effectiveness. In 2013 IEEE 6th international conference on software testing, verification and validation (pp. 232\u2013241).","DOI":"10.1109\/ICST.2013.32"},{"issue":"4","key":"9376_CR24","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1002\/stvr.1539","volume":"25","author":"S Hong","year":"2015","unstructured":"Hong, S., Staats, M., Ahn, J., Kim, M., & Rothermel, G. (2015). Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. Software Testing Verification and Reliability, 25(4), 334\u2013370.","journal-title":"Software Testing Verification and Reliability"},{"issue":"3","key":"9376_CR25","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1026586415054","volume":"5","author":"M H\u00f6st","year":"2000","unstructured":"H\u00f6st, M, Regnell, B., & Wohlin, C. (2000). Using students as subjects\u2014a comparative study of students and professionals in lead-time impact assessment. Empirical Software Engineering, 5(3), 201\u2013214.","journal-title":"Empirical Software Engineering"},{"key":"9376_CR26","doi-asserted-by":"crossref","unstructured":"Hutchins, M., Foster, H., Goradia, T., & Ostrand, T. (1994). Experiments of the effectiveness of dataflow and control flow based test adequacy criteria. In 16th international conference on software engineering, ICSE \u201994 (pp. 191\u2013200). Los Alamitos: IEEE.","DOI":"10.1109\/ICSE.1994.296778"},{"key":"9376_CR27","doi-asserted-by":"crossref","unstructured":"Jalbert, N., & Sen, K. (2010). A trace simplification technique for effective debugging of concurrent programs. In 18th ACM SIGSOFT international symposium on foundations of software engineering, FSE \u201910 (pp. 57\u201366). New York: ACM.","DOI":"10.1145\/1882291.1882302"},{"issue":"7","key":"9376_CR28","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L. (1978). Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7), 558\u2013565.","journal-title":"Communications of the ACM"},{"issue":"6","key":"9376_CR29","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/TSE.2006.56","volume":"32","author":"Y Lei","year":"2006","unstructured":"Lei, Y., & Carver, R.H. (2006). Reachability testing of concurrent programs. IEEE Transactions on Software Engineering, 32(6), 382\u2013403.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9376_CR30","unstructured":"Li, N., Praphamontripong, U., & Offutt, J. (2009). An experimental comparison of four unit test criteria: Mutation, edge-pair, all-uses and prime path coverage. In Second international conference on software testing verification and validation, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings (pp. 220\u2013229). Los Alamitos: IEEE Computer Society."},{"key":"9376_CR31","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/1353535.1346323","volume":"42","author":"S Lu","year":"2008","unstructured":"Lu, S., Park, S., Seo, E., & Zhou, Y. (2008). Learning from mistakes: a comprehensive study on real-world concurrency bug characteristics. SIGOPS Operating Systems Review, 42, 329\u2013339.","journal-title":"SIGOPS Operating Systems Review"},{"issue":"4","key":"9376_CR32","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/TSE.2011.35","volume":"38","author":"S Lu","year":"2012","unstructured":"Lu, S., Park, S., & Zhou, Y. (2012). Finding atomicity-violation bugs through unserializable interleaving testing. IEEE Transactions on Software Engineering, 38(4), 844\u2013860.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"9376_CR33","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1002\/stvr.4370040104","volume":"4","author":"AP Mathur","year":"1993","unstructured":"Mathur, A.P., & Wong, E.W. (1993). An empirical comparison of mutation and data flow based test adequacy criteria. Journal of Software Testing, Verification, and Reliability, 4(1), 9\u201331.","journal-title":"Journal of Software Testing, Verification, and Reliability"},{"issue":"1","key":"9376_CR34","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1002\/stvr.4370040104","volume":"4","author":"AP Mathur","year":"1994","unstructured":"Mathur, A.P., & Wong, W.E. (1994). An empirical comparison of data flow and mutation-based test adequacy criteria. The Journal of Software Testing, Verification and Reliability, 4(1), 9\u201331.","journal-title":"The Journal of Software Testing, Verification and Reliability"},{"key":"9376_CR35","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T McCabe","year":"1976","unstructured":"McCabe, T. (1976). A complexity measure. IEEE Transactions on Software Engineering, 2, 308\u2013320.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9376_CR36","unstructured":"Melo, S.M., Souza, S.R.S., & L, S.P.S. (2012). Structural testing for multithreaded programs: an experimental evaluation of the cost, strength and effectiveness. In: 24th international conference on software engineering & knowledge engineering (SEKE\u20192012), July, 2012 (Vol. 1\u20133, pp. 476\u2013479). San Francisco Bay."},{"key":"9376_CR37","doi-asserted-by":"crossref","unstructured":"Melo, S.M., Souza, S.R.S., Silva, R.A., & Souza, P.S.L. (2015). Concurrent software testing in practice: a catalog of tools. In Proceedings of the 6th international workshop on automating test case design, selection and evaluation, A-TEST 2015 (pp. 31\u201340). New York: ACM.","DOI":"10.1145\/2804322.2804328"},{"key":"9376_CR38","doi-asserted-by":"crossref","unstructured":"Melo, S.M., Souza, P.S.L., & Souza, S.R.S. (2016). Towards an empirical study design for concurrent software testing. In Fourth international workshop on software engineering for high performance computing in computational science and engineering, SC \u201916 (p. 49). Salt Lake City: IEEE Press.","DOI":"10.1109\/SE-HPCCSE.2016.011"},{"issue":"9","key":"9376_CR39","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2007.04.004","volume":"174","author":"A M\u00fchlenfeld","year":"2007","unstructured":"M\u00fchlenfeld, A, & Wotawa, F. (2007). Fault detection in multi-threaded C++ server applications. Electronic Notes in Theoretical Computer Science, 174(9), 5\u201322.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9376_CR40","unstructured":"Musuvathi, M., Qadeer, S., & Ball, T. (2007). Chess: a systematic testing tool for concurrent software. Tech. Rep. MSR-TR-2007-149, Microsoft Research."},{"issue":"6","key":"9376_CR41","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"SC Ntafos","year":"1988","unstructured":"Ntafos, S.C. (1988). A comparison of some structural testing strategies. IEEE Transactions on Software Engineering, 14(6), 868\u2013873.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"9376_CR42","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K","volume":"26","author":"AJ Offutt","year":"1996","unstructured":"Offutt, A.J., Pan, J., Tewary, K., & Zhang, T. (1996). An experimental evaluation of data flow and mutation testing. Software Practice and Experience, 26(2), 165\u2013176.","journal-title":"Software Practice and Experience"},{"issue":"4","key":"9376_CR43","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S Rapps","year":"1985","unstructured":"Rapps, S., & Weyuker, E.J. (1985). Selecting software test data using data flow information. IEEE Transactions on Software Engineering, 11(4), 367\u2013375. doi: 10.1109\/TSE.1985.232226 .","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9376_CR44","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-01702-5_8","volume":"5394","author":"N Rungta","year":"2009","unstructured":"Rungta, N., & Mercer, E.G. (2009). A meta heuristic for effectively detecting concurrency errors. Lecture Notes in Computer Science LNCS, 5394, 23\u201337.","journal-title":"Lecture Notes in Computer Science LNCS"},{"key":"9376_CR45","unstructured":"Sarmanho, F.S., Souza, P.S., Souza, S.R., & Sim\u00e3o, AS (2008). Structural testing for semaphore-based multithread programs. In Proceedings of the 8th international conference on computational science, Part I, ICCS \u201908 (pp. 337\u2013346). Berlin: Springer."},{"key":"9376_CR46","doi-asserted-by":"crossref","unstructured":"Silva, R.A., do Rocio Senger de Souza, S., & de Souza, P.S.L. (2012). Mutation operators for concurrent programs in MPI. In 13th Latin American test workshop, LATW 2012, April 10\u201313, 2012 (pp. 1\u20136). Quito.","DOI":"10.1109\/LATW.2012.6261240"},{"key":"9376_CR47","unstructured":"Simao, A.S., Vincenzi, A.M.R., Maldonado, J.C., & Santana, A.C.L. (2003). A language for the description of program instrumentation and the automatic generation of instrumenters. CLEI Electronic Journal, 6(1)."},{"key":"9376_CR48","volume-title":"Guide to the software engineering body of knowledge (SWEBOK(R)): Version 3.0, 3rd Edn","author":"IC Society","year":"2014","unstructured":"Society, I.C., Bourque, P., & Fairley, R.E. (2014). Guide to the software engineering body of knowledge (SWEBOK(R)): Version 3.0, 3rd Edn. Los Alamitos: IEEE Computer Society Press."},{"key":"9376_CR49","unstructured":"Souza, S., Vergilio, S., Souza Pao, A.S., Bliscosque, T., Lima, A., & Hausen, A. (2005). Valipar: a testing tool for message-passing parallel programs. In International conference on software knowledge and software engineering (SEKE05) (pp. 386\u2013391). Taipei-Taiwan."},{"key":"9376_CR50","unstructured":"Souza, S., Sugeta, T., Fabbri, S., Masiero, P., & Maldonado, J. (2007). Coverage testing criteria for statecharts specifications validation. Software, Testing, Verification and Reliability Submitted."},{"key":"9376_CR51","doi-asserted-by":"crossref","unstructured":"Souza, P.L., Sawabe, E.T., Sim\u00e3o, AS, Vergilio, S.R., & Souza, S.R.S. (2008a). ValiPVM\u2014a graphical tool for structural testing of PVM programs. In Proceedings of the 15th European PVM\/MPI users\u2019 group meeting on recent advances in parallel virtual machine and message passing interface (pp. 257\u2013264). Berlin: Springer.","DOI":"10.1007\/978-3-540-87475-1_35"},{"key":"9376_CR52","doi-asserted-by":"crossref","unstructured":"Souza, S.R.S., Vergilio, S.R., Souza, P.S.L., Sim\u00e3o, AS, & Hausen, A.C. (2008b). Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience, 20, 1893\u20131916.","DOI":"10.1002\/cpe.1297"},{"key":"9376_CR53","doi-asserted-by":"crossref","unstructured":"Souza, S.R.S., Prado, M.P., Barbosa, E.F., & Maldonado, J.C. (2012b). An experimental study to evaluate the impact of the programming paradigm in the testing activity. CLEI Electronic Journal (Online), 15(1), 4\u20134.","DOI":"10.19153\/cleiej.15.1.3"},{"key":"9376_CR54","doi-asserted-by":"crossref","unstructured":"Souza, P.S.L., Souza, S.R.S., & Zaluska, E. (2012a). Structural testing for message-passing concurrent programs: an extended test model. Concurrency and Computation: Practice and Experience, 26(1), 21\u201350.","DOI":"10.1002\/cpe.2937"},{"key":"9376_CR55","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.procs.2013.05.178","volume":"18","author":"PS Souza","year":"2013","unstructured":"Souza, P.S., Souza, S.S., Rocha, M.G., Prado, R.R., & Batista, R.N. (2013). Data flow testing in concurrent programs with message passing and shared memory paradigms. Procedia Computer Science, 18, 149\u2013158.","journal-title":"Procedia Computer Science"},{"key":"9376_CR56","doi-asserted-by":"crossref","unstructured":"Souza, S.R.S., Souza, P.S.L., Brito, M.A.S., da Silva Sim\u00e3o, A, & Zaluska, E. (2015a). Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software Testing, Verification and Reliability, 25(3), 310\u2013332.","DOI":"10.1002\/stvr.1568"},{"key":"9376_CR57","doi-asserted-by":"crossref","unstructured":"Souza, S.R.S., Souza, P.S.L., Brito, M.A.S., Simao, A.S., & Zaluska, E.J. (2015b). Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software Testing, Verification and Reliability, 25(3), 310\u2013332.","DOI":"10.1002\/stvr.1568"},{"key":"9376_CR58","doi-asserted-by":"crossref","unstructured":"Takahashi, J., Kojima, H., & Furukawa, Z. (2008). Coverage based testing for concurrent software. In 28th international conference on distributed computing systems workshops. ICDCS\u2019 08 (pp. 533\u2013538). Beijing: IEEE.","DOI":"10.1109\/ICDCS.Workshops.2008.76"},{"key":"9376_CR59","volume-title":"Distributed operating systems","author":"AS Tanenbaum","year":"1995","unstructured":"Tanenbaum, A.S. (1995). Distributed operating systems. Upper Saddle River: Prentice-Hall, Inc."},{"issue":"3","key":"9376_CR60","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"RN Taylor","year":"1992","unstructured":"Taylor, R.N., Levine, D.L., & Kelly, C. (1992). Structural testing of concurrent programs. IEEE Transaction Software Engineering, 18(3), 206\u2013215.","journal-title":"IEEE Transaction Software Engineering"},{"key":"9376_CR61","unstructured":"Valgrind-Developers (2014). Valgrind-3.6.1. http:\/\/valgrind.org\/ . Accessed 16 December 2014."},{"issue":"4","key":"9376_CR62","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/s10664-005-3862-1","volume":"10","author":"S Vegas","year":"2005","unstructured":"Vegas, S., & Basili, V. (2005). A characterisation schema for software testing techniques. Empirical Software Engineering, 10(4), 437\u2013466. doi: 10.1007\/s10664-005-3862-1 .","journal-title":"Empirical Software Engineering"},{"key":"9376_CR63","unstructured":"Vergilio, S.R., Souza, S.R.S., & Souza, P.S.L. (2005). Coverage testing criteria for message-passing parallel programs. In LATW2005 - 6th IEEE Latin-American test workshop (pp. 161\u2013166). Salvador."},{"issue":"1","key":"9376_CR64","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF03192389","volume":"12","author":"SR Vergilio","year":"2006","unstructured":"Vergilio, S.R., Maldonado, J.C., & Jino, M. (2006). Infeasible paths in the context of data flow based testing criteria: identification, classification and prediction. Journal of the Brazilian Computer Society, 12(1), 73\u201388.","journal-title":"Journal of the Brazilian Computer Society"},{"key":"9376_CR65","doi-asserted-by":"publisher","unstructured":"Vos, T.E.J., Mar\u00edn, B, Escalona, M.J., & Marchetto, A. (2012). A methodological framework for evaluating software testing techniques and tools. In 2012 12th international conference on quality software (pp. 230\u2013239). doi: 10.1109\/QSIC.2012.16 .","DOI":"10.1109\/QSIC.2012.16"},{"key":"9376_CR66","doi-asserted-by":"crossref","unstructured":"Wang, C., Chaudhuri, S., Gupta, A., & Yang, Y. (2009). Symbolic pruning of concurrent program executions. In 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering, ESEC\/FSE \u201909 (pp. 23\u201332). New York: ACM.","DOI":"10.1145\/1595696.1595702"},{"issue":"3","key":"9376_CR67","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1109\/TSE.2016.2584063","volume":"43","author":"H Wang","year":"2017","unstructured":"Wang, H., Liu, T., Guan, X., Shen, C., Zheng, Q., & Yang, Z. (2017). Dependence guided symbolic execution. IEEE Transactions on Software Engineering, 43(3), 252\u2013271.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9376_CR68","doi-asserted-by":"crossref","unstructured":"Wesonga, S., Mercer, E.G., & Rungta, N. (2011). Guided test visualization: making sense of errors in concurrent programs. In 26th IEEE\/ACM international conference on automated software engineering, ASE (pp. 624\u2013627). Washington, DC: IEEE.","DOI":"10.1109\/ASE.2011.6100141"},{"issue":"2","key":"9376_CR69","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1109\/32.44376","volume":"16","author":"EJ Weyuker","year":"1990","unstructured":"Weyuker, E.J. (1990). The cost of data flow testing: an empirical study. IEEE Transactions on Software Engineering, 16(2), 121\u2013128.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9376_CR70","doi-asserted-by":"crossref","first-page":"80","DOI":"10.2307\/3001968","volume":"1","author":"F Wilcoxon","year":"1945","unstructured":"Wilcoxon, F. (1945). Individual comparisons by ranking methods. Biometrics, 1, 80\u201383.","journal-title":"Biometrics"},{"key":"9376_CR71","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in software engineering: an introduction","author":"C Wohlin","year":"2000","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M, Ohlsson, M.C., Regnell, B., & Wessl\u00e9n, A. (2000). Experimentation in software engineering: an introduction. Norwell: Kluwer Academic Publishers."},{"key":"9376_CR72","doi-asserted-by":"publisher","unstructured":"Wong, W.E., Lei, Y., & Ma, X. (2005). Effective generation of test sequences for structural testing of concurrent programs. In 10th IEEE international conference on engineering of complex computer systems (ICECCS\u201905) (pp. 539\u2013548). Los Alamitos: IEEE. doi: 10.1109\/ICECCS.2005.37 .","DOI":"10.1109\/ICECCS.2005.37"},{"key":"9376_CR73","doi-asserted-by":"crossref","unstructured":"Xiao, X., Xie, T., Tillmann, N., & Halleux, J. (2011). Precise identification of problems for structural test generation. In Proceedings of the 33rd international conference on software engineering (ICSE, 2011) (pp. 611\u2013620). Honolulu: IEEE.","DOI":"10.1145\/1985793.1985876"},{"key":"9376_CR74","unstructured":"Yang, Y. (2014). Inspect: a framework for dynamic verification of multithreaded C programs. http:\/\/www.cs.utah.edu\/yuyang\/inspect\/ . Accessed 16 December 2014."},{"key":"9376_CR75","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(92)90093-5","volume":"34","author":"RD Yang","year":"1992","unstructured":"Yang, R.D., & Chung, C.G. (1992). Path analysis testing of concurrent programs. Information and Software Technology, 34, 43\u201356.","journal-title":"Information and Software Technology"},{"key":"9376_CR76","unstructured":"Yang, C.S., & Pollock, L.L. (1997). The challenges in automated testing of multithreaded programs. In 14th International conference on testing computer software (pp. 157\u2013166)."},{"key":"9376_CR77","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.262","volume":"13","author":"CSD Yang","year":"2003","unstructured":"Yang, C.S.D., & Pollock, L.L. (2003). All-uses testing of shared memory parallel programs. Software Testing, Verification and Reliability Journal, 13, 3\u201324.","journal-title":"Software Testing, Verification and Reliability Journal"},{"key":"9376_CR78","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/271775.271804","volume":"23","author":"CSD Yang","year":"1998","unstructured":"Yang, C.S.D., Souter, A.L., & Pollock, L.L. (1998). All-du-path coverage for parallel programs. SIGSOFT Software Engineering Notes, 23, 153\u2013162.","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"9376_CR79","doi-asserted-by":"crossref","unstructured":"Yang, Y., Chen, X., Gopalakrishnan, G., & Kirby, R.M. (2008). Efficient stateful dynamic partial order reduction. In K. Havelund, R. Majumdar, J. Palsberg (Eds.), SPIN, Lecture notes in computer science (Vol. 5156, pp. 288\u2013305). Springer.","DOI":"10.1007\/978-3-540-85114-1_20"},{"key":"9376_CR80","doi-asserted-by":"crossref","unstructured":"Yastrebenetsky, P., & Trakhtenbrot, M. (2011). Analysis of applicability for synchronization complexity metric. In 18th IEEE international conference and workshops on engineering of computer-based systems, ECBS \u201911 (pp. 24\u201333). Washington, DC: IEEE.","DOI":"10.1109\/ECBS.2011.7"},{"key":"9376_CR81","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1109\/32.491648","volume":"22","author":"H Zhu","year":"1996","unstructured":"Zhu, H. (1996). A formal analysis of the subsume relation between software test adequacy criteria. IEEE Transactions on Software Engineering, 22, 248\u2013255.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-017-9376-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9376-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9376-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,30]],"date-time":"2019-09-30T20:54:19Z","timestamp":1569876859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-017-9376-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,19]]},"references-count":81,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["9376"],"URL":"https:\/\/doi.org\/10.1007\/s11219-017-9376-4","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,19]]}}}