{"id":"https://openalex.org/W3175044348","doi":"https://doi.org/10.1145/3453483.3454101","title":"Execution reconstruction: harnessing failure reoccurrences for failure reproduction","display_name":"Execution reconstruction: harnessing failure reoccurrences for failure reproduction","publication_year":2021,"publication_date":"2021-06-18","ids":{"openalex":"https://openalex.org/W3175044348","doi":"https://doi.org/10.1145/3453483.3454101","mag":"3175044348"},"language":"en","primary_location":{"id":"doi:10.1145/3453483.3454101","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3453483.3454101","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059362890","display_name":"Gefei Zuo","orcid":"https://orcid.org/0000-0003-0861-5010"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gefei Zuo","raw_affiliation_strings":["University of Michigan, USA"],"raw_orcid":"https://orcid.org/0000-0003-0861-5010","affiliations":[{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028350050","display_name":"Jiacheng Ma","orcid":"https://orcid.org/0000-0001-9285-422X"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiacheng Ma","raw_affiliation_strings":["University of Michigan, USA"],"raw_orcid":"https://orcid.org/0000-0001-9285-422X","affiliations":[{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054902250","display_name":"Andrew Quinn","orcid":"https://orcid.org/0000-0002-0785-4119"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Quinn","raw_affiliation_strings":["University of Michigan, USA"],"raw_orcid":"https://orcid.org/0000-0002-0785-4119","affiliations":[{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002550391","display_name":"Pramod Bhatotia","orcid":"https://orcid.org/0000-0002-3220-5735"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pramod Bhatotia","raw_affiliation_strings":["TU Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Munich, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085462459","display_name":"Pedro Fonseca","orcid":"https://orcid.org/0000-0003-2480-4487"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pedro Fonseca","raw_affiliation_strings":["Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050964144","display_name":"Baris Kasikci","orcid":"https://orcid.org/0000-0001-6122-8998"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Baris Kasikci","raw_affiliation_strings":["University of Michigan, USA"],"raw_orcid":"https://orcid.org/0000-0001-6122-8998","affiliations":[{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.573,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.89492754,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1155","last_page":"1170"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9361237287521362},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6965474486351013},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6828010082244873},{"id":"https://openalex.org/keywords/reproduction","display_name":"Reproduction","score":0.645427942276001},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6224452257156372},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5156168341636658},{"id":"https://openalex.org/keywords/production","display_name":"Production (economics)","score":0.44984716176986694},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4451877176761627},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.44299957156181335},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.4379864037036896},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4158397912979126},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3749464750289917},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.18827179074287415},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.164070725440979},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15167236328125}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9361237287521362},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6965474486351013},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6828010082244873},{"id":"https://openalex.org/C59659247","wikidata":"https://www.wikidata.org/wiki/Q11990","display_name":"Reproduction","level":2,"score":0.645427942276001},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6224452257156372},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5156168341636658},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.44984716176986694},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4451877176761627},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.44299957156181335},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.4379864037036896},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4158397912979126},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3749464750289917},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.18827179074287415},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.164070725440979},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15167236328125},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3453483.3454101","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3453483.3454101","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":94,"referenced_works":["https://openalex.org/W116894366","https://openalex.org/W1219082078","https://openalex.org/W1491356120","https://openalex.org/W1502406167","https://openalex.org/W1527417319","https://openalex.org/W1558738734","https://openalex.org/W1684928007","https://openalex.org/W1710734607","https://openalex.org/W1876811830","https://openalex.org/W1887412317","https://openalex.org/W1963739845","https://openalex.org/W1964200705","https://openalex.org/W1973842602","https://openalex.org/W1978905120","https://openalex.org/W2006307164","https://openalex.org/W2012431717","https://openalex.org/W2015265712","https://openalex.org/W2023490832","https://openalex.org/W2033472898","https://openalex.org/W2035312605","https://openalex.org/W2040851906","https://openalex.org/W2042033151","https://openalex.org/W2047068447","https://openalex.org/W2049381173","https://openalex.org/W2062284132","https://openalex.org/W2067705817","https://openalex.org/W2093755302","https://openalex.org/W2095551048","https://openalex.org/W2097576663","https://openalex.org/W2097971828","https://openalex.org/W2101512909","https://openalex.org/W2101819268","https://openalex.org/W2102967730","https://openalex.org/W2104993088","https://openalex.org/W2105691657","https://openalex.org/W2106471636","https://openalex.org/W2114800225","https://openalex.org/W2115855199","https://openalex.org/W2118315969","https://openalex.org/W2121204404","https://openalex.org/W2123511529","https://openalex.org/W2128049346","https://openalex.org/W2129487583","https://openalex.org/W2129663982","https://openalex.org/W2130473288","https://openalex.org/W2134633067","https://openalex.org/W2137530017","https://openalex.org/W2142892618","https://openalex.org/W2146280225","https://openalex.org/W2152795747","https://openalex.org/W2154698535","https://openalex.org/W2156515608","https://openalex.org/W2158437127","https://openalex.org/W2160468841","https://openalex.org/W2161370060","https://openalex.org/W2161992906","https://openalex.org/W2162630235","https://openalex.org/W2164649341","https://openalex.org/W2165803716","https://openalex.org/W2166841005","https://openalex.org/W2168607538","https://openalex.org/W2170224888","https://openalex.org/W2295135469","https://openalex.org/W2296669295","https://openalex.org/W2383417445","https://openalex.org/W2406372219","https://openalex.org/W2567444356","https://openalex.org/W2584029330","https://openalex.org/W2605106683","https://openalex.org/W2742100187","https://openalex.org/W2752802732","https://openalex.org/W2761662547","https://openalex.org/W2762915977","https://openalex.org/W2795052548","https://openalex.org/W2795667685","https://openalex.org/W2897044322","https://openalex.org/W2899031522","https://openalex.org/W2912412735","https://openalex.org/W2963723316","https://openalex.org/W2981930254","https://openalex.org/W3010635687","https://openalex.org/W3014769903","https://openalex.org/W3015365135","https://openalex.org/W3090784367","https://openalex.org/W3099590534","https://openalex.org/W3105711554","https://openalex.org/W3106729728","https://openalex.org/W3110764597","https://openalex.org/W3140804348","https://openalex.org/W3147275543","https://openalex.org/W3160978791","https://openalex.org/W4250380851","https://openalex.org/W4250948891","https://openalex.org/W4256483320"],"related_works":["https://openalex.org/W2785720764","https://openalex.org/W2777046235","https://openalex.org/W2186070848","https://openalex.org/W4285245977","https://openalex.org/W3203826058","https://openalex.org/W3104446232","https://openalex.org/W4290048282","https://openalex.org/W2914996832","https://openalex.org/W2768829148","https://openalex.org/W4240738830"],"abstract_inverted_index":{"Reproducing":[0],"production":[1,17,72],"failures":[2],"is":[3],"crucial":[4],"for":[5,16,71],"software":[6],"reliability.":[7],"Alas,":[8],"existing":[9,38,54],"bug":[10],"reproduction":[11,64],"approaches":[12,39],"are":[13,21],"not":[14,22,57],"suitable":[15],"systems":[18],"because":[19],"they":[20],"simultaneously":[23],"efficient,":[24],"effective,":[25],"and":[26,35,46],"accurate.":[27],"In":[28],"this":[29],"work,":[30],"we":[31],"survey":[32],"prior":[33],"techniques":[34],"show":[36],"that":[37],"over-prioritize":[40],"a":[41,52],"subset":[42],"of":[43,61],"these":[44],"properties,":[45],"sacrifice":[47],"the":[48,59],"remaining":[49],"ones.":[50],"As":[51],"result,":[53],"tools":[55],"do":[56],"enable":[58],"plethora":[60],"proposed":[62],"failure":[63],"use-cases":[65],"(e.g.,":[66],"debugging,":[67],"security":[68],"forensics,":[69],"fuzzing)":[70],"failures.":[73]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}