{"id":"https://openalex.org/W4285586714","doi":"https://doi.org/10.1145/3533767.3534384","title":"Combining static analysis error traces with dynamic symbolic execution (experience paper)","display_name":"Combining static analysis error traces with dynamic symbolic execution (experience paper)","publication_year":2022,"publication_date":"2022-07-15","ids":{"openalex":"https://openalex.org/W4285586714","doi":"https://doi.org/10.1145/3533767.3534384"},"language":"en","primary_location":{"id":"doi:10.1145/3533767.3534384","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3533767.3534384","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","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/A5049131029","display_name":"Frank Busse","orcid":"https://orcid.org/0000-0003-1661-0439"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Frank Busse","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026733663","display_name":"Pritam Gharat","orcid":"https://orcid.org/0000-0002-5961-8142"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pritam Gharat","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053355200","display_name":"Cristian Cadar","orcid":"https://orcid.org/0000-0002-3599-7264"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cristian Cadar","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080781439","display_name":"Alastair F. Donaldson","orcid":"https://orcid.org/0000-0002-7448-7961"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alastair F. Donaldson","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049131029"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":3.0334,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.9125972,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"568","last_page":"579"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9987000226974487,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9986000061035156,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.9057585597038269},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.8750208020210266},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8537924289703369},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.8240994215011597},{"id":"https://openalex.org/keywords/analyser","display_name":"Analyser","score":0.6765616536140442},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.6622427105903625},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6362420916557312},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.5425567626953125},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5161219835281372},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.5050516724586487},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.48270201683044434},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.48107361793518066},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36201560497283936},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3257295787334442},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11197561025619507},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.09546318650245667}],"concepts":[{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.9057585597038269},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.8750208020210266},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8537924289703369},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8240994215011597},{"id":"https://openalex.org/C26834552","wikidata":"https://www.wikidata.org/wiki/Q3275846","display_name":"Analyser","level":2,"score":0.6765616536140442},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.6622427105903625},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6362420916557312},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.5425567626953125},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5161219835281372},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.5050516724586487},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.48270201683044434},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.48107361793518066},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36201560497283936},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3257295787334442},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11197561025619507},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.09546318650245667},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3533767.3534384","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3533767.3534384","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/97427","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/97427","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Symposium on Software Testing and Analysis (ISSTA 2022)","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1641431731","display_name":null,"funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6480646621","display_name":"Interface reasoning for interacting systems (IRIS).","funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8840470266","display_name":null,"funder_award_id":"R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G947817967","display_name":"Program Analysis for Safe and Secure Software Evolution","funder_award_id":"819141","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W138282132","https://openalex.org/W1963523113","https://openalex.org/W1963739845","https://openalex.org/W1968494916","https://openalex.org/W1989310296","https://openalex.org/W1992012690","https://openalex.org/W2009489720","https://openalex.org/W2011367000","https://openalex.org/W2020689607","https://openalex.org/W2083318332","https://openalex.org/W2097576663","https://openalex.org/W2105983962","https://openalex.org/W2107147876","https://openalex.org/W2110311336","https://openalex.org/W2117058582","https://openalex.org/W2132226975","https://openalex.org/W2140323279","https://openalex.org/W2146641295","https://openalex.org/W2151959678","https://openalex.org/W2153185479","https://openalex.org/W2164649341","https://openalex.org/W2170612356","https://openalex.org/W2294434616","https://openalex.org/W2489283796","https://openalex.org/W2559804063","https://openalex.org/W2963762601","https://openalex.org/W2964781046","https://openalex.org/W3033734688","https://openalex.org/W3112304933","https://openalex.org/W3113170597","https://openalex.org/W3171813881","https://openalex.org/W3181305599","https://openalex.org/W4237492309","https://openalex.org/W6931545398"],"related_works":["https://openalex.org/W345638404","https://openalex.org/W2019299443","https://openalex.org/W4245197793","https://openalex.org/W2514597554","https://openalex.org/W1994915990","https://openalex.org/W3026405340","https://openalex.org/W2082172430","https://openalex.org/W1552900908","https://openalex.org/W2147015581","https://openalex.org/W4255639276"],"abstract_inverted_index":{"This":[0,98],"paper":[1],"reports":[2,14],"on":[3],"our":[4],"experience":[5],"implementing":[6],"a":[7,24,29,52,117],"technique":[8],"for":[9,46,81],"sifting":[10],"through":[11,32],"static":[12,25],"analysis":[13,26],"using":[15,88,107],"dynamic":[16,53,108],"symbolic":[17,54,109],"execution.":[18],"Our":[19],"insight":[20],"is":[21],"that":[22,40,71,73,123],"if":[23,111],"tool":[27,56],"produces":[28],"partial":[30],"trace":[31,63,76],"the":[33,41,47,62,67,75,86,89,96,101,125],"program":[34],"under":[35],"analysis,":[36],"annotated":[37],"with":[38,92],"conditions":[39,90],"analyser":[42],"believes":[43],"are":[44,79],"important":[45],"bug":[48,102],"to":[49,60,103,115],"trigger,":[50],"then":[51],"execution":[55],"may":[57,99],"be":[58,104,116],"able":[59],"exploit":[61],"by":[64],"(a)":[65],"guiding":[66],"search":[68,87],"heuristically":[69],"so":[70],"paths":[72],"follow":[74],"most":[77],"closely":[78],"prioritised":[80],"exploration,":[82],"and":[83],"(b)":[84],"pruning":[85],"associated":[91],"each":[93],"step":[94],"of":[95],"trace.":[97],"allow":[100],"quickly":[105],"confirmed":[106],"execution,":[110],"it":[112],"turns":[113],"out":[114],"true":[118],"positive,":[119],"yielding":[120],"an":[121],"input":[122],"triggers":[124],"bug.":[126]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":8}],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2025-10-10T00:00:00"}