{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:17Z","timestamp":1750220597406,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,20]],"date-time":"2020-10-20T00:00:00Z","timestamp":1603152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","award":["2018\/10183-9"],"award-info":[{"award-number":["2018\/10183-9"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,20]]},"DOI":"10.1145\/3425174.3425214","type":"proceedings-article","created":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T00:01:25Z","timestamp":1603411285000},"page":"69-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Contributions to improve the combined selection of concurrent software testing techniques"],"prefix":"10.1145","author":[{"given":"Italo","family":"Santos","sequence":"first","affiliation":[{"name":"University of S\u00e3o Paulo (ICMC\/USP), S\u00e3o Carlos, S\u00e3o Paulo, Brazil"}]},{"given":"Andre B. P.","family":"Furlanetti","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo (ICMC\/USP), S\u00e3o Carlos, S\u00e3o Paulo, Brazil"}]},{"given":"Silvana M.","family":"Melo","sequence":"additional","affiliation":[{"name":"Federal University of Grande Dourados (UFGD), Dourados, Mato Grosso do Sul, Brazil"}]},{"given":"Paulo Sergio Lopes","family":"de Souza","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo (ICMC\/USP), S\u00e3o Carlos, S\u00e3o Paulo, Brazil"}]},{"given":"M\u00e1rcio E.","family":"Delamaro","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo (ICMC\/USP), S\u00e3o Carlos, S\u00e3o Paulo, Brazil"}]},{"given":"Simone R. S.","family":"Souza","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo (ICMC\/USP), S\u00e3o Carlos, S\u00e3o Paulo, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2020,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1999.805621"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308285"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2307864"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.020"},{"key":"e_1_3_2_1_5_1","volume-title":"Arilo Claudio Dias Neto, and Rosiane de Freitas Rodrigues","author":"da Silva Grande Aur\u00e9lio","year":"2012","unstructured":"Aur\u00e9lio da Silva Grande , Arilo Claudio Dias Neto, and Rosiane de Freitas Rodrigues . 2012 . Providing trade-off techniques subsets to improve software testing effectiveness: using evolutionary algorithm to support software testing techniques selection by a web tool. In Advances in Artificial Intelligence-SBIA 2012. Aur\u00e9lio da Silva Grande, Arilo Claudio Dias Neto, and Rosiane de Freitas Rodrigues. 2012. Providing trade-off techniques subsets to improve software testing effectiveness: using evolutionary algorithm to support software testing techniques selection by a web tool. In Advances in Artificial Intelligence-SBIA 2012."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Italo de Oliveira Santos and Simone do Rocio Senger de Souza. 2019. Study and definition of project attributes for selection of testing techniques for concurrent software. In Anais Estendidos do X Congresso Brasileiro de Software: Teoria e Pr\u00e1tica. SBC Porto Alegre RS Brasil 24--30.  Italo de Oliveira Santos and Simone do Rocio Senger de Souza. 2019. Study and definition of project attributes for selection of testing techniques for concurrent software. In Anais Estendidos do X Congresso Brasileiro de Software: Teoria e Pr\u00e1tica. SBC Porto Alegre RS Brasil 24--30.","DOI":"10.5753\/cbsoft_estendido.2019.7652"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.06.010"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312915"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_3_2_1_10_1","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 73--89","author":"Dwyer Matthew B","year":"2006","unstructured":"Matthew B Dwyer , John Hatcliff , Matthew Hoosier , Venkatesh Ranganath , Todd Wallentine , 2006 . Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs . In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 73--89 . Matthew B Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Ranganath, Todd Wallentine, et al. 2006. Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 73--89."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181787"},{"key":"e_1_3_2_1_12_1","unstructured":"Albert Endres and H Dieter Rombach. 2003. A handbook of software and systems engineering: Empirical observations laws and theories. Pearson Education.  Albert Endres and H Dieter Rombach. 2003. A handbook of software and systems engineering: Empirical observations laws and theories. Pearson Education."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1228965.1228973"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"e_1_3_2_1_15_1","volume-title":"Exploring the industry's challenges in software testing: An empirical study. Journal of Software: Evolution and Process","author":"Garousi Vahid","year":"2020","unstructured":"Vahid Garousi , Michael Felderer , Marco Kuhrmann , Kadir Herkilo\u011flu , and Sigrid Eldh . 2020. Exploring the industry's challenges in software testing: An empirical study. Journal of Software: Evolution and Process ( 2020 ), e2251. Vahid Garousi, Michael Felderer, Marco Kuhrmann, Kadir Herkilo\u011flu, and Sigrid Eldh. 2020. Exploring the industry's challenges in software testing: An empirical study. Journal of Software: Evolution and Process (2020), e2251."},{"key":"e_1_3_2_1_16_1","volume-title":"2010 Third International Conference on Software Testing, Verification and Validation. IEEE, 55--64","author":"Gligoric Milos","year":"2010","unstructured":"Milos Gligoric , Vilas Jagannath , and Darko Marinov . 2010 . MuTMuT: Efficient exploration for mutation testing of multithreaded code . In 2010 Third International Conference on Software Testing, Verification and Validation. IEEE, 55--64 . Milos Gligoric, Vilas Jagannath, and Darko Marinov. 2010. MuTMuT: Efficient exploration for mutation testing of multithreaded code. In 2010 Third International Conference on Software Testing, Verification and Validation. IEEE, 55--64."},{"volume-title":"Effect sizes for research: A broad practical approach","author":"Grissom Robert J","key":"e_1_3_2_1_17_1","unstructured":"Robert J Grissom and John J Kim . 2005. Effect sizes for research: A broad practical approach . Lawrence Erlbaum Associates Publishers . Robert J Grissom and John J Kim. 2005. Effect sizes for research: A broad practical approach. Lawrence Erlbaum Associates Publishers."},{"key":"e_1_3_2_1_18_1","volume-title":"Annual International Symposium on Information Management and Big Data. Springer, 289--303","author":"Ibarra Ronald","year":"2018","unstructured":"Ronald Ibarra and Glen Rodriguez . 2018 . SoTesTeR: Software Testing Techniques' Recommender System Using a Collaborative Approach . In Annual International Symposium on Information Management and Big Data. Springer, 289--303 . Ronald Ibarra and Glen Rodriguez. 2018. SoTesTeR: Software Testing Techniques' Recommender System Using a Collaborative Approach. In Annual International Symposium on Information Management and Big Data. Springer, 289--303."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2010.26"},{"key":"e_1_3_2_1_20_1","volume-title":"International Conference on Fundamental Approaches to Software Engineering. Springer.","author":"Luo Qingzhou","year":"2010","unstructured":"Qingzhou Luo , Sai Zhang , Jianjun Zhao , and Min Hu . 2010 . A lightweight and portable approach to making concurrent failures reproducible . In International Conference on Fundamental Approaches to Software Engineering. Springer. Qingzhou Luo, Sai Zhang, Jianjun Zhao, and Min Hu. 2010. A lightweight and portable approach to making concurrent failures reproducible. In International Conference on Fundamental Approaches to Software Engineering. Springer."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing (SAST","author":"Melo Silvana M.","year":"2019","unstructured":"Silvana M. Melo , Felipe M. Moura , Paulo S. L. Souza , and Simone R. S. Souza . 2019. SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques . In Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing (SAST 2019 ). Association for Computing Machinery, New York, NY, USA, 62--71. https:\/\/doi.org\/10.1145\/3356317.3356324 10.1145\/3356317.3356324 Silvana M. Melo, Felipe M. Moura, Paulo S. L. Souza, and Simone R. S. Souza. 2019. SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques. In Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing (SAST 2019). Association for Computing Machinery, New York, NY, USA, 62--71. https:\/\/doi.org\/10.1145\/3356317.3356324"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3141865.3142468"},{"key":"e_1_3_2_1_23_1","volume-title":"Effect size, confidence interval and statistical significance: a practical guide for biologists. Biological reviews","author":"Nakagawa Shinichi","year":"2007","unstructured":"Shinichi Nakagawa and Innes C Cuthill . 2007. Effect size, confidence interval and statistical significance: a practical guide for biologists. Biological reviews ( 2007 ). Shinichi Nakagawa and Innes C Cuthill. 2007. Effect size, confidence interval and statistical significance: a practical guide for biologists. Biological reviews (2007)."},{"key":"e_1_3_2_1_24_1","volume-title":"Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. IEEE, 174--183","author":"Dias Neto Arilo Claudio","year":"2011","unstructured":"Arilo Claudio Dias Neto , Rosiane de Freitas Rodrigues , and Guilherme Horta Travassos . 2011 . Porantim-opt: Optimizing the combined selection of model-based testing techniques. In Software Testing , Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. IEEE, 174--183 . Arilo Claudio Dias Neto, Rosiane de Freitas Rodrigues, and Guilherme Horta Travassos. 2011. Porantim-opt: Optimizing the combined selection of model-based testing techniques. In Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. IEEE, 174--183."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069035"},{"key":"e_1_3_2_1_26_1","article-title":"Generating effective tests for concurrent programs via AI automated planning techniques","volume":"16","author":"Razavi Niloofar","year":"2014","unstructured":"Niloofar Razavi , Azadeh Farzan , and Sheila A McIlraith . 2014 . Generating effective tests for concurrent programs via AI automated planning techniques . International Journal on Software Tools for Technology Transfer 16 , 1 (2014). Niloofar Razavi, Azadeh Farzan, and Sheila A McIlraith. 2014. Generating effective tests for concurrent programs via AI automated planning techniques. International Journal on Software Tools for Technology Transfer 16, 1 (2014).","journal-title":"International Journal on Software Tools for Technology Transfer"},{"volume-title":"Case study research in software engineering: Guidelines and examples","author":"Runeson Per","key":"e_1_3_2_1_27_1","unstructured":"Per Runeson , Martin Host , Austen Rainer , and Bjorn Regnell . 2012. Case study research in software engineering: Guidelines and examples . John Wiley & Sons . Per Runeson, Martin Host, Austen Rainer, and Bjorn Regnell. 2012. Case study research in software engineering: Guidelines and examples. John Wiley & Sons."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660238"},{"key":"e_1_3_2_1_29_1","volume-title":"14th Ibero-American Conference on Software Engineering and 14th Workshop on Requirements Engineering, CIbSE 2011","author":"Isabel Silvia Santa","year":"2011","unstructured":"Silvia Santa Isabel and Guilherme H Travassos . 2011 . Features of software testing techniques for use in projects web . 14th Ibero-American Conference on Software Engineering and 14th Workshop on Requirements Engineering, CIbSE 2011 (2011). Silvia Santa Isabel and Guilherme H Travassos. 2011. Features of software testing techniques for use in projects web. 14th Ibero-American Conference on Software Engineering and 14th Workshop on Requirements Engineering, CIbSE 2011 (2011)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00071"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the XXXIII Brazilian Symposium on Software Engineering. ACM.","author":"Santos Italo","year":"2019","unstructured":"Italo Santos , Silvana M Melo , Paulo Sergio Lopes Souza , and Simone Rocio Senger Souza . 2019 . Testing Techniques Selection: A Systematic Mapping Study . In Proceedings of the XXXIII Brazilian Symposium on Software Engineering. ACM. Italo Santos, Silvana M Melo, Paulo Sergio Lopes Souza, and Simone Rocio Senger Souza. 2019. Testing Techniques Selection: A Systematic Mapping Study. In Proceedings of the XXXIII Brazilian Symposium on Software Engineering. ACM."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"e_1_3_2_1_33_1","first-page":"143","article-title":"Efficient execution path exploration for detecting races in concurrent programs","volume":"40","author":"Setiadi Theodorus E","year":"2013","unstructured":"Theodorus E Setiadi , Akihiko Ohsuga , and Mamoru Maekawa . 2013 . Efficient execution path exploration for detecting races in concurrent programs . IAENG International Journal of Computer Science 40 , 3 (2013), 143 -- 163 . Theodorus E Setiadi, Akihiko Ohsuga, and Mamoru Maekawa. 2013. Efficient execution path exploration for detecting races in concurrent programs. IAENG International Journal of Computer Science 40, 3 (2013), 143--163.","journal-title":"IAENG International Journal of Computer Science"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-011-9166-8"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3862-1"},{"volume-title":"Trends in Computer Science, Engineering and Information Technology","author":"Victor Monisha","key":"e_1_3_2_1_36_1","unstructured":"Monisha Victor and Nitin Upadhyay . 2011. Selection of software testing technique: A multi criteria decision making approach . In Trends in Computer Science, Engineering and Information Technology . Springer , 453--462. Monisha Victor and Nitin Upadhyay. 2011. Selection of software testing technique: A multi criteria decision making approach. In Trends in Computer Science, Engineering and Information Technology. Springer, 453--462."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/349360.351125"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/WOSQ.2007.4"},{"key":"e_1_3_2_1_40_1","volume-title":"2013 IEEE International Conference on Software Maintenance. IEEE, 100--109","author":"Xin Rui","year":"2013","unstructured":"Rui Xin , Zhengwei Qi , Shiqiu Huang , Chengcheng Xiang , Yudi Zheng , Yin Wang , and Haibing Guan . 2013 . An automation-assisted empirical study on lock usage for concurrent programs . In 2013 IEEE International Conference on Software Maintenance. IEEE, 100--109 . Rui Xin, Zhengwei Qi, Shiqiu Huang, Chengcheng Xiang, Yudi Zheng, Yin Wang, and Haibing Guan. 2013. An automation-assisted empirical study on lock usage for concurrent programs. In 2013 IEEE International Conference on Software Maintenance. IEEE, 100--109."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021819401850033X"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336780"}],"event":{"name":"SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing","sponsor":["SBC Brazilian Computer Society"],"location":"Natal Brazil","acronym":"SAST 20"},"container-title":["Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425174.3425214","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3425174.3425214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:54Z","timestamp":1750195914000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425174.3425214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,20]]},"references-count":42,"alternative-id":["10.1145\/3425174.3425214","10.1145\/3425174"],"URL":"https:\/\/doi.org\/10.1145\/3425174.3425214","relation":{},"subject":[],"published":{"date-parts":[[2020,10,20]]},"assertion":[{"value":"2020-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}