{"id":"https://openalex.org/W2962425620","doi":"https://doi.org/10.1145/3293882.3330567","title":"Interactive metamorphic testing of debuggers","display_name":"Interactive metamorphic testing of debuggers","publication_year":2019,"publication_date":"2019-07-10","ids":{"openalex":"https://openalex.org/W2962425620","doi":"https://doi.org/10.1145/3293882.3330567","mag":"2962425620"},"language":"en","primary_location":{"id":"doi:10.1145/3293882.3330567","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3293882.3330567","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","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/A5004515484","display_name":"Sandro Tolksdorf","orcid":null},"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":"Sandro Tolksdorf","raw_affiliation_strings":["TU Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","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":34,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"273","last_page":"283"},"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.9980999827384949,"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.9952999949455261,"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.8936300277709961},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8827786445617676},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8528461456298828},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7816997766494751},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6680784225463867},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.6645745038986206},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5437726378440857},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.42778724431991577},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.2542170286178589}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.8936300277709961},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8827786445617676},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8528461456298828},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7816997766494751},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6680784225463867},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6645745038986206},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5437726378440857},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.42778724431991577},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2542170286178589}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3293882.3330567","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3293882.3330567","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W64156013","https://openalex.org/W109452506","https://openalex.org/W1975934503","https://openalex.org/W2004921952","https://openalex.org/W2013856010","https://openalex.org/W2041650849","https://openalex.org/W2041713059","https://openalex.org/W2071952624","https://openalex.org/W2095445208","https://openalex.org/W2098456636","https://openalex.org/W2130746431","https://openalex.org/W2134124281","https://openalex.org/W2134741696","https://openalex.org/W2141933055","https://openalex.org/W2155877593","https://openalex.org/W2159933174","https://openalex.org/W2162036145","https://openalex.org/W2170737051","https://openalex.org/W2186079292","https://openalex.org/W2256863551","https://openalex.org/W2324595780","https://openalex.org/W2370472429","https://openalex.org/W2467222092","https://openalex.org/W2530895108","https://openalex.org/W2759550170","https://openalex.org/W2767468415","https://openalex.org/W2888538076","https://openalex.org/W2898887908","https://openalex.org/W2963327228","https://openalex.org/W3008797115"],"related_works":["https://openalex.org/W2800641345","https://openalex.org/W2886673879","https://openalex.org/W564953056","https://openalex.org/W2061184006","https://openalex.org/W2381239448","https://openalex.org/W4236910510","https://openalex.org/W2092932442","https://openalex.org/W2543963479","https://openalex.org/W1751798423","https://openalex.org/W2583000271"],"abstract_inverted_index":{"When":[0],"improving":[1],"their":[2,55],"code,":[3],"developers":[4],"often":[5],"turn":[6],"to":[7,28,52,90,177],"interactive":[8,138,144],"debuggers.":[9,85],"The":[10,86],"correctness":[11],"of":[12,58,65,107,131,140,198],"these":[13],"tools":[14],"is":[15,33,89,170],"crucial,":[16],"because":[17,54],"bugs":[18,192,201],"in":[19,44,100,117,182],"the":[20,45,79,93,97,105,108,111,128,132,137,155,159,166,175,178,183,206],"debugger":[21,181],"itself":[22],"may":[23],"mislead":[24],"a":[25,38,63,102,123,194],"developer,":[26],"e.g.,":[27],"believe":[29],"that":[30,37,104],"executed":[31],"code":[32,61,95],"never":[34],"reached":[35],"or":[36,72],"variable":[39],"has":[40,211],"another":[41],"value":[42],"than":[43],"actual":[46],"execution.":[47],"Yet,":[48],"debuggers":[49],"are":[50],"difficult":[51],"test":[53,169],"input":[56,156],"consists":[57],"both":[59,92],"source":[60],"and":[62,96,110,158,208],"sequence":[64],"debugging":[66,98],"actions,":[67],"such":[68,101],"as":[69,215],"setting":[70],"breakpoints":[71],"stepping":[73],"through":[74],"code.":[75],"This":[76],"paper":[77],"presents":[78],"first":[80],"metamorphic":[81,145,151],"testing":[82,152],"approach":[83,176],"for":[84],"key":[87],"idea":[88],"transform":[91],"debugged":[94,133],"actions":[99],"way":[103],"behavior":[106],"original":[109],"transformed":[112],"inputs":[113],"should":[114,125],"differ":[115],"only":[116],"specific":[118],"ways.":[119],"For":[120],"example,":[121],"adding":[122],"breakpoint":[124],"not":[126],"change":[127,162],"control":[129],"flow":[130],"program.":[134],"To":[135],"support":[136],"nature":[139],"debuggers,":[141],"we":[142],"introduce":[143],"testing.":[146],"It":[147],"differs":[148],"from":[149],"traditional":[150],"by":[153,205],"determining":[154],"transformation":[157],"expected":[160],"behavioral":[161],"it":[163,187],"causes":[164],"while":[165],"program":[167],"under":[168],"running.":[171],"Our":[172],"evaluation":[173],"applies":[174],"widely":[179],"used":[180],"Chromium":[184],"browser,":[185],"where":[186],"finds":[188],"eight":[189],"previously":[190],"unknown":[191],"with":[193],"true":[195],"positive":[196],"rate":[197],"51%.":[199],"All":[200],"have":[202],"been":[203,213],"confirmed":[204],"developers,":[207],"one":[209],"bug":[210],"even":[212],"marked":[214],"release-blocking.":[216]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":6}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}