{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:32Z","timestamp":1750306172988,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T00:00:00Z","timestamp":1474243200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,19]]},"DOI":"10.1145\/2993288.2993295","type":"proceedings-article","created":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T12:22:17Z","timestamp":1478089337000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o F. S.","family":"Ouriques","sequence":"first","affiliation":[{"name":"SPLab - Federal University of Campina Grande, Campina Grande, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuela G.","family":"Cartaxo","sequence":"additional","affiliation":[{"name":"SPLab - UFCG, Campina Grande, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patr\u00edcia D. L.","family":"Machado","sequence":"additional","affiliation":[{"name":"SPLab - Federal University of Campina Grande, Campina Grande, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco G. O.","family":"Neto","sequence":"additional","affiliation":[{"name":"SPLab - Federal University of Campina Grande, Campina Grande, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana E. V. B.","family":"Coutinho","sequence":"additional","affiliation":[{"name":"State University of Para\u00edba, Monteiro, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/578775"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Verification and Validation (ICST), 2015 IEEE 8th International Conference on","author":"Aichernig B.","year":"2015","unstructured":"B. Aichernig , H. Brandl , E. Jobstl , W. Krenn , R. Schlick , and S. Tiran . Momut::uml model-based mutation testing for uml. In Software Testing , Verification and Validation (ICST), 2015 IEEE 8th International Conference on , pages 1 -- 8 , April 2015 . B. Aichernig, H. Brandl, E. Jobstl, W. Krenn, R. Schlick, and S. Tiran. Momut::uml model-based mutation testing for uml. In Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on, pages 1--8, April 2015."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"Verification and Validation (ICST), 2015 IEEE 8th International Conference on","author":"Arcaini P.","year":"2015","unstructured":"P. Arcaini , A. Gargantini , and P. Vavassori . Generating tests for detecting faults in feature models. In Software Testing , Verification and Validation (ICST), 2015 IEEE 8th International Conference on , pages 1 -- 10 , April 2015 . P. Arcaini, A. Gargantini, and P. Vavassori. Generating tests for detecting faults in feature models. In Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on, pages 1--10, April 2015."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.232881"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1364045"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00094-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2819009.2819106"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884821"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348910"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988497"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.815326"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.06.014"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.3"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928034"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2327020"},{"key":"e_1_3_2_1_21_1","first-page":"2013","article-title":"IEEE Standard for Soft. and Systems Engineering - Software testing - Part 1: Concepts and definitions","volume":"29119","author":"IEEE","year":"2013","unstructured":"IEEE . IEEE Standard for Soft. and Systems Engineering - Software testing - Part 1: Concepts and definitions . IEEE Std. 29119-1 : 2013 (E), 2013 . IEEE. IEEE Standard for Soft. and Systems Engineering - Software testing - Part 1: Concepts and definitions. IEEE Std. 29119-1:2013(E), 2013.","journal-title":"IEEE Std."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.77"},{"key":"e_1_3_2_1_24_1","volume-title":"Incorrect results in software engineering experiments: How to improve research practices. Journal of Systems and Software","author":"J\u00f8rgensen M.","year":"2015","unstructured":"M. J\u00f8rgensen , T. Dyb\u00e5 , K. Liest\u00f8l , and D. I. Sj\u00f8berg . Incorrect results in software engineering experiments: How to improve research practices. Journal of Systems and Software , pages --, 2015 . M. J\u00f8rgensen, T. Dyb\u00e5, K. Liest\u00f8l, and D. I. Sj\u00f8berg. Incorrect results in software engineering experiments: How to improve research practices. Journal of Systems and Software, pages --, 2015."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v19:4"},{"key":"e_1_3_2_1_26_1","first-page":"707","article-title":"Binary Codes Capable of Correcting Deletions","volume":"10","author":"Levenshtein V.","year":"1966","unstructured":"V. Levenshtein . Binary Codes Capable of Correcting Deletions , Insertions and Reversals. Soviet Physics Doklady , 10 : 707 , 1966 . V. Levenshtein. Binary Codes Capable of Correcting Deletions, Insertions and Reversals. Soviet Physics Doklady, 10:707, 1966.","journal-title":"Insertions and Reversals. Soviet Physics Doklady"},{"key":"e_1_3_2_1_27_1","first-page":"307","volume-title":"Proceedings of the 9th International Symposium on Software Reliability Engineering","author":"Malaiya Y. K.","year":"1998","unstructured":"Y. K. Malaiya , J. Denton , and M. N. Li . Estimating the number of defects: A simple and intuitive approach . In Proceedings of the 9th International Symposium on Software Reliability Engineering , pages 307 -- 315 , 1998 . Y. K. Malaiya, J. Denton, and M. N. Li. Estimating the number of defects: A simple and intuitive approach. In Proceedings of the 9th International Symposium on Software Reliability Engineering, pages 307--315, 1998."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591180"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40411-014-0015-5"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2005.845141"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572296"}],"event":{"name":"SAST '16: 1st Brazilian Symposium on Systematic and Automated Software Testing","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o"],"location":"Maringa Parana Brazil","acronym":"SAST '16"},"container-title":["Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2993288.2993295","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2993288.2993295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:40:13Z","timestamp":1750218013000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2993288.2993295"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,19]]},"references-count":31,"alternative-id":["10.1145\/2993288.2993295","10.1145\/2993288"],"URL":"https:\/\/doi.org\/10.1145\/2993288.2993295","relation":{},"subject":[],"published":{"date-parts":[[2016,9,19]]},"assertion":[{"value":"2016-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}