{"id":"https://openalex.org/W3031580260","doi":"https://doi.org/10.1145/3395032.3395321","title":"On another level","display_name":"On another level","publication_year":2020,"publication_date":"2020-05-25","ids":{"openalex":"https://openalex.org/W3031580260","doi":"https://doi.org/10.1145/3395032.3395321","mag":"3031580260"},"language":"en","primary_location":{"id":"doi:10.1145/3395032.3395321","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3395032.3395321","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the workshop on Testing Database Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/3904906","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053424313","display_name":"Timo Kersten","orcid":"https://orcid.org/0000-0002-0004-9686"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Timo Kersten","raw_affiliation_strings":["Technical University of Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101880157","display_name":"Thomas Neumann","orcid":"https://orcid.org/0000-0001-5787-142X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Neumann","raw_affiliation_strings":["Technical University of Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5053424313"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.7075,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.66962775,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9970999956130981,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/debugger","display_name":"Debugger","score":0.9707044363021851},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8845423460006714},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.873085618019104},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.7169226408004761},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6898318529129028},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6457390785217285},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.5945213437080383},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5251452922821045},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5050387978553772},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5002298355102539},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4628215730190277},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3789029121398926},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.13312426209449768}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.9707044363021851},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8845423460006714},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.873085618019104},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.7169226408004761},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6898318529129028},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6457390785217285},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5945213437080383},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5251452922821045},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5050387978553772},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5002298355102539},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4628215730190277},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3789029121398926},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.13312426209449768},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3395032.3395321","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3395032.3395321","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the workshop on Testing Database Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:3904906","is_oa":true,"landing_page_url":"https://zenodo.org/record/3904906","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:3904906","is_oa":true,"landing_page_url":"https://zenodo.org/record/3904906","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8590641107","display_name":"The Computational Database for Real World Awareness","funder_award_id":"725286","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G899700953","display_name":"The Computational Database for Real World Awareness","funder_award_id":"725286","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W5757304","https://openalex.org/W11234669","https://openalex.org/W1619695433","https://openalex.org/W1867761151","https://openalex.org/W2012431717","https://openalex.org/W2104767177","https://openalex.org/W2106771621","https://openalex.org/W2123524055","https://openalex.org/W2136195851","https://openalex.org/W2139627310","https://openalex.org/W2142892618","https://openalex.org/W2146280225","https://openalex.org/W2281433966","https://openalex.org/W2742100187","https://openalex.org/W2798416929","https://openalex.org/W2897173745","https://openalex.org/W2921740354","https://openalex.org/W3136655632"],"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":{"Compilation-based":[0],"query":[1,16],"engines":[2],"generate":[3],"and":[4,36,78,162],"compile":[5],"code":[6,27,30,33,38,56,77,80],"at":[7,42,73],"runtime,":[8,163],"which":[9],"is":[10,40,87,128],"then":[11],"run":[12],"to":[13,71,90,101,117,138,151,156,177],"get":[14],"the":[15,32,37,54,63,67,75,79],"result.":[17],"In":[18,132],"this":[19,92,133],"process":[20],"there":[21],"are":[22,114],"two":[23],"levels":[24],"of":[25,31],"source":[26,104,109,124,172],"involved:":[28],"The":[29],"generator":[34],"itself":[35],"that":[39,81,146],"generated":[41,55,76,82,144],"runtime.":[43],"This":[44],"can":[45],"make":[46],"debugging":[47,85,168],"quite":[48],"indirect,":[49],"as":[50],"a":[51,140,153,180],"fault":[52],"in":[53,62],"was":[57],"caused":[58],"by":[59,186],"an":[60],"error":[61],"generator.":[64],"To":[65],"find":[66],"error,":[68],"we":[69,135],"have":[70],"look":[72],"both,":[74],"it.":[83],"Current":[84],"technology":[86],"not":[88,107,115],"equipped":[89],"handle":[91],"situation.":[93],"For":[94],"example,":[95],"GNU's":[96],"gdb":[97],"only":[98],"offers":[99],"facilities":[100],"inspect":[102],"one":[103],"line,":[105],"but":[106],"multiple":[108],"levels.":[110],"Also,":[111],"current":[112],"debuggers":[113],"able":[116],"reconstruct":[118],"additional":[119],"program":[120],"state":[121],"for":[122,143,160,170],"further":[123],"levels,":[125],"thus,":[126],"context":[127,158],"missing":[129],"during":[130],"debugging.":[131],"paper,":[134],"show":[136],"how":[137,176],"build":[139,178],"multi-level":[141],"debugger":[142,155,181],"queries":[145],"solves":[147],"these":[148],"issues.We":[149],"propose":[150],"use":[152],"timetravelling":[154],"provide":[157],"information":[159],"compile-time":[161],"thus":[164],"providing":[165],"full":[166],"interactive":[167],"capabilities":[169],"every":[171],"level.We":[173],"also":[174],"present":[175],"such":[179],"with":[182],"low":[183],"engineering":[184],"effort":[185],"combining":[187],"existing":[188],"tool":[189],"chains.":[190]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-05-23T08:51:43.019350","created_date":"2020-06-05T00:00:00"}
