{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T21:19:23Z","timestamp":1783804763417,"version":"3.55.0"},"reference-count":85,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"EU","award":["731529"],"award-info":[{"award-number":["731529"]}]},{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["FNR\/P10\/03"],"award-info":[{"award-number":["FNR\/P10\/03"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2020,12,1]]},"DOI":"10.1109\/tse.2018.2877664","type":"journal-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T02:29:10Z","timestamp":1540348150000},"page":"1294-1317","source":"Crossref","is-referenced-by-count":51,"title":["Search-Based Crash Reproduction and Its Impact on Debugging"],"prefix":"10.1109","volume":"46","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2788-796X","authenticated-orcid":false,"given":"Mozhan","family":"Soltani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7395-3588","authenticated-orcid":false,"given":"Annibale","family":"Panichella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4850-3312","authenticated-orcid":false,"given":"Arie","family":"van Deursen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/2897010.2897020"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786828"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47106-8_1"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.51"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22183-0_7"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.28"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/SBST.2017.6"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9424-2"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.36"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831729"},{"key":"ref79","first-page":"1","article-title":"Exception handling bug hazards in android","author":"coelho","year":"2016","journal-title":"Empirical Softw Eng"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25231-0_1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2897010.2897015"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2015.20"},{"key":"ref30","first-page":"249","article-title":"Simple testing can prevent most critical failures: An analysis of production failures in distributed data-intensive systems","author":"yuan","year":"2014","journal-title":"Proc 11th USENIX Conf Operating Syst Des Implementation"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2007.01.015"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739738"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00190-2"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.100"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227170"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771801"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483774"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2699688"},{"key":"ref28","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884847"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092715"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227111"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831715"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106292"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6940-7_15"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2364175"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.11"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_23"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2363469"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.27"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606582"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2897073.2897088"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642993"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985876"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106266"},{"key":"ref50","article-title":"UI\/Application Exerciser Monkey","year":"2017"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.42"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2017.68"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593885"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048117"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.97"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.34"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9288-2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.30"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100119"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803206"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1735970.1736039"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693120"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.29"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/566189.566191"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985868"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026586415054"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227168"},{"key":"ref83","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","year":"2000","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"ref19","first-page":"jsme-15","article-title":"A bug reproduction approach based on directed model checking and crash traces","author":"nayrolles","year":"2016","journal-title":"J Softw Evolution Process pp n\/a&#x2013;n\/a"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9249-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1080695.1069994"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.10"},{"key":"ref6","volume":"25","author":"steven","year":"2000","journal-title":"jRapture A capture\/replay tool for observation-based testing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101927"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1016\/j.accfor.2012.06.003"},{"key":"ref8","first-page":"114","article-title":"Reconstructing core dumps","author":"r\u00f6\u00dfler","year":"2013","journal-title":"Proc IEEE Int'l Conf Software Testing Verification and Validation"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081820"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287685"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref45","first-page":"101","author":"prasetya","year":"2014","journal-title":"T3 a Combinator-Based Random Testing Tool for Java Benchmarking"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2363479"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642986"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102604"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.05.032"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9290149\/08502801.pdf?arnumber=8502801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:34:38Z","timestamp":1651070078000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502801\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,1]]},"references-count":85,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2877664","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12,1]]}}}