{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:00:22Z","timestamp":1784300422655,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T00:00:00Z","timestamp":1562716800000},"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":[[2019,7,10]]},"DOI":"10.1145\/3293882.3330552","type":"proceedings-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T12:13:31Z","timestamp":1562847211000},"page":"192-203","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Effective and efficient API misuse detection via exception propagation and search-based testing"],"prefix":"10.1145","author":[{"given":"Maria","family":"Kechagia","sequence":"first","affiliation":[{"name":"University College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xavier","family":"Devroey","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Annibale","family":"Panichella","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Georgios","family":"Gousios","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arie","family":"van Deursen","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_25"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99241-9_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2903506"},{"key":"e_1_3_2_1_4_1","volume-title":"Sarah Nadi, Tien N Nguyen, and Mira Mezini.","author":"Amann Sven","year":"2018","unstructured":"Sven Amann , Hoan Anh Nguyen , Sarah Nadi, Tien N Nguyen, and Mira Mezini. 2018 . A Systematic Evaluation of Static API-Misuse Detectors. IEEE Transactions on Software Engineering ( 2018). Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N Nguyen, and Mira Mezini. 2018. A Systematic Evaluation of Static API-Misuse Detectors. IEEE Transactions on Software Engineering (2018)."},{"key":"e_1_3_2_1_5_1","volume-title":"Verification and Validation (ICST), 2018 IEEE 11th International Conference on. IEEE, 394\u2013397","author":"Arcuri Andrea","year":"2018","unstructured":"Andrea Arcuri . 2018 . EvoMaster: Evolutionary Multi-context Automated System Test Generation. In Software Testing , Verification and Validation (ICST), 2018 IEEE 11th International Conference on. IEEE, 394\u2013397 . Andrea Arcuri. 2018. EvoMaster: Evolutionary Multi-context Automated System Test Generation. In Software Testing, Verification and Validation (ICST), 2018 IEEE 11th International Conference on. IEEE, 394\u2013397."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9249-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001423"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213872"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572274"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390664"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.08.010"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9443-7"},{"key":"e_1_3_2_1_15_1","unstructured":"1007\/s10664-016-9443-7  1007\/s10664-016-9443-7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2819009.2819027"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062533"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645825.668937"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516693"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180222"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2685612"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9288-2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.93"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.35"},{"key":"e_1_3_2_1_27_1","volume-title":"Fifth Latin-American Symposium on Dependable Computing Workshops (LADCW \u201911)","author":"Garcia I.","unstructured":"I. Garcia and N. Cacho . 2011. eFlowMining: An Exception-Flow Analysis Tool for .NET Applications . In Fifth Latin-American Symposium on Dependable Computing Workshops (LADCW \u201911) . IEEE, 1\u20138. I. Garcia and N. Cacho. 2011. eFlowMining: An Exception-Flow Analysis Tool for .NET Applications. In Fifth Latin-American Symposium on Dependable Computing Workshops (LADCW \u201911). IEEE, 1\u20138."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66299-2_5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486877"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.04.034"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-014-9343-7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_34_1","volume-title":"The Art and Science of Analyzing Software Data","author":"Lindig Christian","unstructured":"Christian Lindig . 2016. Mining patterns and violations using concept analysis . In The Art and Science of Analyzing Software Data . Elsevier , 17\u201338. Christian Lindig. 2016. Mining patterns and violations using concept analysis. In The Art and Science of Analyzing Software Data. Elsevier, 17\u201338."},{"key":"e_1_3_2_1_35_1","volume-title":"2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 212\u2013223","author":"Ma L.","unstructured":"L. Ma , C. Artho , C. Zhang , H. Sato , J. Gmeiner , and R. Ramler . 2015. GRT: Program-Analysis-Guided Random Testing (T) . In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 212\u2013223 . L. Ma, C. Artho, C. Zhang, H. Sato, J. Gmeiner, and R. Ramler. 2015. GRT: Program-Analysis-Guided Random Testing (T). In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 212\u2013223."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00093"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-007-9040-x"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194718.3194728"},{"key":"e_1_3_2_1_41_1","unstructured":"3194728  3194728"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884790"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595767"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2973839.2973843"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_46_1","volume-title":"July 15\u201319","author":"Panichella Annibale","year":"2019","unstructured":"Annibale Panichella , Fitsum Kifetew , and Paolo Tonella . 2017. Automated test case generation as a many-objective optimisation problem with dynamic selection ISSTA \u201919 , July 15\u201319 , 2019 , Beijing, China Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, and Arie van Deursen of the targets. IEEE Transactions on Software Engineering 99 (2017), 1\u201337. Annibale Panichella, Fitsum Kifetew, and Paolo Tonella. 2017. Automated test case generation as a many-objective optimisation problem with dynamic selection ISSTA \u201919, July 15\u201319, 2019, Beijing, China Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, and Arie van Deursen of the targets. IEEE Transactions on Software Engineering 99 (2017), 1\u201337."},{"key":"e_1_3_2_1_47_1","volume-title":"Verification and Validation (ICST), 2015 IEEE 8th International Conference on. IEEE, 1\u201310","author":"Panichella Annibale","year":"2015","unstructured":"Annibale Panichella , Fitsum Meshesha Kifetew , and Paolo Tonella . 2015 . Reformulating branch coverage as a many-objective optimization problem. In Software Testing , Verification and Validation (ICST), 2015 IEEE 8th International Conference on. IEEE, 1\u201310 . Annibale Panichella, Fitsum Meshesha Kifetew, and Paolo Tonella. 2015. Reformulating branch coverage as a many-objective optimization problem. In Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on. IEEE, 1\u201310."},{"key":"e_1_3_2_1_48_1","volume-title":"Fitsum Meshesha Kifetew, and Paolo Tonella","author":"Panichella Annibale","year":"2018","unstructured":"Annibale Panichella , Fitsum Meshesha Kifetew, and Paolo Tonella . 2018 . Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation. In Search-Based Software Engineering, Thelma Elita Colanzi and Phil McMinn (Eds.). Springer International Publishing , Cham, 309\u2013324. Annibale Panichella, Fitsum Meshesha Kifetew, and Paolo Tonella. 2018. Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation. In Search-Based Software Engineering, Thelma Elita Colanzi and Phil McMinn (Eds.). Springer International Publishing, Cham, 309\u2013324."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.08.009"},{"key":"e_1_3_2_1_50_1","volume-title":"Java Unit Testing Tool Competition - Fifth Round. In 10th IEEE\/ACM International Workshop on Search-Based Software Testing (SBST). 32\u201338","author":"Panichella Annibale","year":"2017","unstructured":"Annibale Panichella and Urko Rueda Molina . 2017 . Java Unit Testing Tool Competition - Fifth Round. In 10th IEEE\/ACM International Workshop on Search-Based Software Testing (SBST). 32\u201338 . Annibale Panichella and Urko Rueda Molina. 2017. Java Unit Testing Tool Competition - Fifth Round. In 10th IEEE\/ACM International Workshop on Search-Based Software Testing (SBST). 32\u201338."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236503"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9150-8"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941569"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22183-0_7"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9424-2"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.86"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1660"},{"key":"e_1_3_2_1_58_1","unstructured":"e1660 stvr.1660.  e1660 stvr.1660."},{"key":"e_1_3_2_1_59_1","volume-title":"Proceedings of the International Conference on Software Maintenance. IEEE, 348\u2013357","author":"Sinha S.","unstructured":"S. Sinha and M.J. Harrold . 1998. Analysis of programs with exception-handling constructs . In Proceedings of the International Conference on Software Maintenance. IEEE, 348\u2013357 . S. Sinha and M.J. Harrold. 1998. Analysis of programs with exception-handling constructs. In Proceedings of the International Conference on Software Maintenance. IEEE, 348\u2013357."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.09.040"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.72"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925818"},{"key":"e_1_3_2_1_63_1","first-page":"101","article-title":"A critique and improvement of the CL common language effect size statistics of McGraw and Wong","volume":"25","author":"Vargha Andr\u00e1s","year":"2000","unstructured":"Andr\u00e1s Vargha and Harold D Delaney . 2000 . A critique and improvement of the CL common language effect size statistics of McGraw and Wong . Journal of Educational and Behavioral Statistics 25 , 2 (2000), 101 \u2013 132 . Andr\u00e1s Vargha and Harold D Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25, 2 (2000), 101\u2013132.","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00190-2"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"}],"event":{"name":"ISSTA '19: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Beijing China","acronym":"ISSTA '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3330552","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293882.3330552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:50Z","timestamp":1750207430000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3330552"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,10]]},"references-count":66,"alternative-id":["10.1145\/3293882.3330552","10.1145\/3293882"],"URL":"https:\/\/doi.org\/10.1145\/3293882.3330552","relation":{},"subject":[],"published":{"date-parts":[[2019,7,10]]},"assertion":[{"value":"2019-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}