{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T04:19:02Z","timestamp":1769919542527,"version":"3.49.0"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2015,2,1]],"date-time":"2015-02-01T00:00:00Z","timestamp":1422748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2015,2,1]]},"DOI":"10.1109\/tse.2014.2363469","type":"journal-article","created":{"date-parts":[[2014,10,16]],"date-time":"2014-10-16T19:07:29Z","timestamp":1413486449000},"page":"198-220","source":"Crossref","is-referenced-by-count":58,"title":["STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution"],"prefix":"10.1109","volume":"41","author":[{"given":"Ning","family":"Chen","sequence":"first","affiliation":[]},{"given":"Sunghun","family":"Kim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","author":"mccarthy","year":"0","journal-title":"A Basis for A Mathematical Theory of Computation"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029907"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227168"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831729"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"ref37","first-page":"323","article-title":"A lightweight and portable approach to making concurrent failures reproducible","author":"luo","year":"0","journal-title":"Proc 13th Int Conf Fundamental Approaches Softw Eng"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.30"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287685"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572286"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985876"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950369"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736038"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"ref28","first-page":"1","article-title":"System description: Yices 1.0","author":"dutertre","year":"0","journal-title":"Proc 2nd SMT-Competition"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"},{"key":"ref27","author":"dijkstra","year":"1997","journal-title":"A Discipline of Programming"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.98"},{"key":"ref2","year":"0"},{"key":"ref1","year":"0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542517"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.28"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351697"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.10"},{"key":"ref26","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"0","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.49"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101927"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2005.32"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736039"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393665"},{"key":"ref56","first-page":"134","article-title":"Pex-white box test generation for .NET","author":"tillmann","year":"0","journal-title":"Proc 2nd Int Conf Test Proof"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048083"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595725"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001422"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348993"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"ref11","author":"andersen","year":"1994","journal-title":"Program analysis and specialization for the C programming language"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1793-7_2"},{"key":"ref12","first-page":"542","article-title":"ReCrash: Making software failures reproducible by preserving object states","author":"artzi","year":"0","journal-title":"Proc 22nd Eur Conf Object-Oriented Programm"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368118"},{"key":"ref14","first-page":"1","article-title":"Finding similar failures using callstack similarity","author":"bartz","year":"0","journal-title":"Proc 3rd Conf Tackling Comput Syst Problems Mach Learn Techn"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453146"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/566189.566191"},{"key":"ref18","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"0","journal-title":"Proc 8th USENIX Conf Oper Syst Design Implementation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"ref4","year":"0"},{"key":"ref3","year":"0"},{"key":"ref6","year":"0"},{"key":"ref5","year":"0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"ref7","year":"0"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.18"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"ref48","first-page":"34","article-title":"Symbolic execution with mixed concrete-symbolic solving","author":"p?s?reanu","year":"0","journal-title":"Proc ACM SIGSOFT Int Symp Softw Testing Analysis"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070515"},{"key":"ref41","year":"0"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1145\/1080695.1069994","article-title":"Bugnet: Continuously recording program execution for deterministic replay debugging","volume":"33","author":"narayanasamy","year":"2005","journal-title":"SIGARCH Comput Archit News"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7038242\/06926857.pdf?arnumber=6926857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:30:50Z","timestamp":1642005050000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6926857\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,1]]},"references-count":64,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2014.2363469","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2,1]]}}}