{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:04Z","timestamp":1750220044760,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,3]],"date-time":"2022-10-03T00:00:00Z","timestamp":1664755200000},"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\/25744-6 and 2019\/06937-0"],"award-info":[{"award-number":["2018\/25744-6 and 2019\/06937-0"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,3]]},"DOI":"10.1145\/3559744.3559748","type":"proceedings-article","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:07:11Z","timestamp":1664035631000},"page":"29-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Strategy to Support the Infeasible Test Requirements Identification"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o","family":"Choma Neto","sequence":"first","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}]},{"given":"Ricardo","family":"Chagas","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}]},{"given":"Allan","family":"Mori","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}]},{"given":"Ricardo","family":"Vilela","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}]},{"given":"Thelma","family":"Colanzi","sequence":"additional","affiliation":[{"name":"State University of Maringa, Brazil"}]},{"given":"Simone","family":"Souza","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2022,10,3]]},"reference":[{"volume-title":"An Empirical Analysis of Blind Tests. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). 254\u2013262","author":"Baral K.","key":"e_1_3_2_1_1_1","unstructured":"K. Baral and J. Offutt . 2020 . An Empirical Analysis of Blind Tests. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). 254\u2013262 . K. Baral and J. Offutt. 2020. An Empirical Analysis of Blind Tests. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). 254\u2013262."},{"key":"e_1_3_2_1_2_1","volume-title":"Iii","author":"Barhoush B","year":"2013","unstructured":"B Barhoush and I Alsmadi . 2013. Infeasible Paths Detection Using Static Analysis. Ijj.Acm.Org II , Iii ( 2013 ). http:\/\/ijj.acm.org\/volumes\/volume2\/issue3\/ijjvol2no34.pdf B Barhoush and I Alsmadi. 2013. Infeasible Paths Detection Using Static Analysis. Ijj.Acm.Org II, Iii (2013). http:\/\/ijj.acm.org\/volumes\/volume2\/issue3\/ijjvol2no34.pdf"},{"key":"e_1_3_2_1_3_1","unstructured":"Blind. 2021. Blind.  Blind. 2021. Blind."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/267896.267921"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Western Electronic Show and Convention (WESCON) Los Angeles California September. 19\u201322","author":"Brown JR","year":"1972","unstructured":"JR Brown . 1972 . Practical applications of automated software tools . In Proceedings of the Western Electronic Show and Convention (WESCON) Los Angeles California September. 19\u201322 . JR Brown. 1972. Practical applications of automated software tools. In Proceedings of the Western Electronic Show and Convention (WESCON) Los Angeles California September. 19\u201322."},{"key":"e_1_3_2_1_6_1","volume-title":"URL: http:\/\/download. forge. objectweb. org\/asm\/asmguide. pdf","author":"Bruneton Eric","year":"2007","unstructured":"Eric Bruneton . 2007. ASM 3.0 A Java bytecode engineering library. URL: http:\/\/download. forge. objectweb. org\/asm\/asmguide. pdf ( 2007 ). Eric Bruneton. 2007. ASM 3.0 A Java bytecode engineering library. URL: http:\/\/download. forge. objectweb. org\/asm\/asmguide. pdf (2007)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873665"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948707"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.07.012"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICBMEI.2011.5920422"},{"volume-title":"The Use of Data Flow Information for the Selection and Evaluation of Software Test Data. Ph.\u00a0D. Dissertation","author":"Frankl P\u00a0G","key":"e_1_3_2_1_12_1","unstructured":"P\u00a0G Frankl . 1987. The Use of Data Flow Information for the Selection and Evaluation of Software Test Data. Ph.\u00a0D. Dissertation . New York, NY, USA . AAI 8801533. P\u00a0G Frankl. 1987. The Use of Data Flow Information for the Selection and Evaluation of Software Test Data. Ph.\u00a0D. Dissertation. New York, NY, USA. AAI8801533."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2014.01.009"},{"key":"e_1_3_2_1_14_1","unstructured":"D. Hedley and M.\u00a0A. Hennell. 1985. The causes and effects of infeasible paths in computer programs. (1985) 259\u2013266. http:\/\/dl.acm.org\/citation.cfm?id=319568.319648  D. Hedley and M.\u00a0A. Hennell. 1985. The causes and effects of infeasible paths in computer programs. (1985) 259\u2013266. http:\/\/dl.acm.org\/citation.cfm?id=319568.319648"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00036"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.05.007"},{"volume-title":"The art of software testing","author":"Myers G\u00a0J","key":"e_1_3_2_1_17_1","unstructured":"G\u00a0J Myers , C Sandler , and T Badgett . 2011. The art of software testing . John Wiley & Sons . G\u00a0J Myers, C Sandler, and T Badgett. 2011. The art of software testing. John Wiley & Sons."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287655"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.06.006"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2010.74"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179497"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2010.26"},{"volume-title":"Software Engineering 8 Ed","author":"Pressman R","key":"e_1_3_2_1_23_1","unstructured":"R Pressman and B Maxim . 2016. Software Engineering 8 Ed . McGraw Hill Brasil . R Pressman and B Maxim. 2016. Software Engineering 8 Ed. McGraw Hill Brasil."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Luiz A.\u00a0L. Rodrigues and Jacques\u00a0D. Brancher. 2019. Playing an educational game featuring procedural content generation: which attributes impact players\u2019 curiosity?  Luiz A.\u00a0L. Rodrigues and Jacques\u00a0D. Brancher. 2019. Playing an educational game featuring procedural content generation: which attributes impact players\u2019 curiosity?","DOI":"10.22456\/1679-1916.95952"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425174.3425175"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425174.3425226"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/503271.503248"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3356317.3356322"},{"key":"e_1_3_2_1_30_1","unstructured":"S\u00a0R Vergilio J\u00a0C Maldonado and M Jino. 1992. Non-executable paths: Characterization Prediction and Determination to Support Program Testing - In Portuguese.  S\u00a0R Vergilio J\u00a0C Maldonado and M Jino. 1992. Non-executable paths: Characterization Prediction and Determination to Support Program Testing - In Portuguese."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03192389"},{"key":"e_1_3_2_1_32_1","unstructured":"N\u00a0L Vijaykumar and E\u00a0L\u00a0F Senne. 2011. Gera\u00e7\u00e3o de Testes Caixa Branca para aplica\u00e7\u00f5es Multithreads : Gera\u00e7\u00e3o Abordagem por Statecharts. (2011).  N\u00a0L Vijaykumar and E\u00a0L\u00a0F Senne. 2011. Gera\u00e7\u00e3o de Testes Caixa Branca para aplica\u00e7\u00f5es Multithreads : Gera\u00e7\u00e3o Abordagem por Statecharts. (2011)."},{"key":"e_1_3_2_1_33_1","volume-title":"\u00a0S. Souza","author":"Vilela F.","year":"2019","unstructured":"Ricardo\u00a0 F. Vilela , Victor H. S.\u00a0C. Pinto , Thelma\u00a0 E. Colanzi , and Simone R . \u00a0S. Souza . 2019 . Bio-Inspired Optimization of Test Data Generation for Concurrent Software. In Search-Based Software Engineering, Shiva Nejati and Gregory Gay (Eds.). Springer International Publishing , Cham, 121\u2013136. Ricardo\u00a0F. Vilela, Victor H. S.\u00a0C. Pinto, Thelma\u00a0E. Colanzi, and Simone R.\u00a0S. Souza. 2019. Bio-Inspired Optimization of Test Data Generation for Concurrent Software. In Search-Based Software Engineering, Shiva Nejati and Gregory Gay (Eds.). Springer International Publishing, Cham, 121\u2013136."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.14257\/ijfgcn.2014.7.3.19"},{"key":"e_1_3_2_1_35_1","volume-title":"Evolutionary test environment for automatic structural testing. Information and software technology 43, 14","author":"Wegener J","year":"2001","unstructured":"J Wegener , A Baresel , and H Sthamer . 2001. Evolutionary test environment for automatic structural testing. Information and software technology 43, 14 ( 2001 ), 841\u2013854. J Wegener, A Baresel, and H Sthamer. 2001. Evolutionary test environment for automatic structural testing. Information and software technology 43, 14 (2001), 841\u2013854."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMTMA.2011.152"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/75309.75315"},{"volume-title":"2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). 274\u2013284","author":"Zhu Q.","key":"e_1_3_2_1_38_1","unstructured":"Q. Zhu , A. Panichella , and A. Zaidman . 2018. An Investigation of Compression Techniques to Speed up Mutation Testing . In 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). 274\u2013284 . Q. Zhu, A. Panichella, and A. Zaidman. 2018. An Investigation of Compression Techniques to Speed up Mutation Testing. In 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). 274\u2013284."},{"key":"e_1_3_2_1_39_1","unstructured":"Nivio Ziviani. 2010. Algorithms Project with Implementations in JAVA and C ++ (in Portuguese). Vol.\u00a02. Cengage Learning Edi\u00e7\u00f5es Ltda.  Nivio Ziviani. 2010. Algorithms Project with Implementations in JAVA and C ++ (in Portuguese). Vol.\u00a02. Cengage Learning Edi\u00e7\u00f5es Ltda."}],"event":{"name":"SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing","acronym":"SAST 2022","location":"Uberlandia Brazil"},"container-title":["Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3559744.3559748","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3559744.3559748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:07:57Z","timestamp":1750183677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3559744.3559748"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,3]]},"references-count":39,"alternative-id":["10.1145\/3559744.3559748","10.1145\/3559744"],"URL":"https:\/\/doi.org\/10.1145\/3559744.3559748","relation":{},"subject":[],"published":{"date-parts":[[2022,10,3]]},"assertion":[{"value":"2022-10-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}