{"id":"https://openalex.org/W2898887908","doi":"https://doi.org/10.1145/3236024.3236037","title":"Feedback-directed differential testing of interactive debuggers","display_name":"Feedback-directed differential testing of interactive debuggers","publication_year":2018,"publication_date":"2018-10-26","ids":{"openalex":"https://openalex.org/W2898887908","doi":"https://doi.org/10.1145/3236024.3236037","mag":"2898887908"},"language":"en","primary_location":{"id":"doi:10.1145/3236024.3236037","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236024.3236037","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","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/A5032121327","display_name":"Daniel Lehmann","orcid":"https://orcid.org/0000-0002-4037-5152"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Lehmann","raw_affiliation_strings":["TU Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Pradel","raw_affiliation_strings":["TU Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"610","last_page":"620"},"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.9995999932289124,"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.9995999932289124,"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.9991999864578247,"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/T10260","display_name":"Software Engineering Research","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/debugger","display_name":"Debugger","score":0.9545481204986572},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9001337289810181},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8475981950759888},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.737464189529419},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.5569682121276855},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5469179749488831},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.5075820684432983},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.47161510586738586},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4716106057167053},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4323119521141052},{"id":"https://openalex.org/keywords/sandbox","display_name":"Sandbox (software development)","score":0.42046642303466797},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3643198311328888}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.9545481204986572},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9001337289810181},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8475981950759888},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.737464189529419},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.5569682121276855},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5469179749488831},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5075820684432983},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.47161510586738586},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4716106057167053},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4323119521141052},{"id":"https://openalex.org/C167981075","wikidata":"https://www.wikidata.org/wiki/Q2667186","display_name":"Sandbox (software development)","level":2,"score":0.42046642303466797},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3643198311328888}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3236024.3236037","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236024.3236037","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1963949959","https://openalex.org/W1966021031","https://openalex.org/W1971991620","https://openalex.org/W2001602611","https://openalex.org/W2004921952","https://openalex.org/W2013856010","https://openalex.org/W2023035194","https://openalex.org/W2037151757","https://openalex.org/W2046932483","https://openalex.org/W2049639527","https://openalex.org/W2060291526","https://openalex.org/W2068678118","https://openalex.org/W2071952624","https://openalex.org/W2108283760","https://openalex.org/W2116368564","https://openalex.org/W2159933174","https://openalex.org/W2170737051","https://openalex.org/W2256863551","https://openalex.org/W2370472429","https://openalex.org/W2467222092","https://openalex.org/W2530895108","https://openalex.org/W2617809069","https://openalex.org/W2619704817","https://openalex.org/W2753617992","https://openalex.org/W2759550170","https://openalex.org/W2898182742","https://openalex.org/W4238083723","https://openalex.org/W4243412374"],"related_works":["https://openalex.org/W2033352828","https://openalex.org/W2355810117","https://openalex.org/W3098313552","https://openalex.org/W2546418048","https://openalex.org/W2076427967","https://openalex.org/W2499283203","https://openalex.org/W3212184609","https://openalex.org/W2795849205","https://openalex.org/W2111618996","https://openalex.org/W3031580260"],"abstract_inverted_index":{"To":[0],"understand,":[1],"localize,":[2],"and":[3,75,95,120,133],"fix":[4],"programming":[5],"errors,":[6],"developers":[7,32],"often":[8],"rely":[9],"on":[10,127],"interactive":[11,54,74],"debuggers.":[12,55],"However,":[13],"as":[14],"debuggers":[15,60,72,108,130],"are":[16,73,143],"software,":[17],"they":[18,77],"may":[19],"themselves":[20],"have":[21],"bugs,":[22,139],"which":[23,142],"can":[24],"make":[25],"debugging":[26],"unnecessarily":[27],"hard":[28],"or":[29],"even":[30],"cause":[31],"to":[33,91,118],"reason":[34],"about":[35],"bugs":[36,119],"that":[37,98,116],"do":[38],"not":[39],"actually":[40],"exist":[41],"in":[42],"their":[43],"code.":[44],"This":[45],"paper":[46],"presents":[47],"the":[48,65,93,100,128,147],"first":[49],"automated":[50],"testing":[51,59,69],"technique":[52],"for":[53],"The":[56],"problem":[57,67],"of":[58,68,81,106,131,141],"is":[61],"fundamentally":[62],"different":[63],"from":[64],"well-studied":[66],"compilers":[70],"because":[71,76],"lack":[78],"a":[79],"specification":[80],"expected":[82],"behavior.":[83,102],"Our":[84],"approach,":[85],"called":[86],"DBDB,":[87],"generates":[88],"debugger":[89,94],"actions":[90],"exercise":[92],"records":[96],"traces":[97,105],"summarize":[99],"debugger's":[101],"By":[103],"comparing":[104],"multiple":[107],"with":[109],"each":[110],"other,":[111],"we":[112],"find":[113],"diverging":[114],"behavior":[115],"points":[117],"other":[121],"noteworthy":[122],"differences.":[123],"We":[124],"evaluate":[125],"DBDB":[126],"JavaScript":[129],"Firefox":[132],"Chromium,":[134],"finding":[135],"19":[136],"previously":[137],"unreported":[138],"eight":[140],"already":[144],"fixed":[145],"by":[146],"developers.":[148]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}