{"id":"https://openalex.org/W2004314225","doi":"https://doi.org/10.1109/ets.2012.6233020","title":"Combining dynamic slicing and mutation operators for ESL correction","display_name":"Combining dynamic slicing and mutation operators for ESL correction","publication_year":2012,"publication_date":"2012-05-01","ids":{"openalex":"https://openalex.org/W2004314225","doi":"https://doi.org/10.1109/ets.2012.6233020","mag":"2004314225"},"language":"en","primary_location":{"id":"doi:10.1109/ets.2012.6233020","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets.2012.6233020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)","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/A5031994404","display_name":"Urmas Repinski","orcid":null},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":true,"raw_author_name":"Urmas Repinski","raw_affiliation_strings":["Department of Computer Engineering, Tallinn University of Technology, Estonia","Department of Computer Engineering , Tallinn University of Technology, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"Department of Computer Engineering , Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015771543","display_name":"Hanno Hantson","orcid":null},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Hanno Hantson","raw_affiliation_strings":["Department of Computer Engineering, Tallinn University of Technology, Estonia","Department of Computer Engineering , Tallinn University of Technology, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"Department of Computer Engineering , Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059391257","display_name":"Maksim Jenihhin","orcid":"https://orcid.org/0000-0001-8165-9592"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Maksim Jenihhin","raw_affiliation_strings":["Department of Computer Engineering, Tallinn University of Technology, Estonia","Department of Computer Engineering , Tallinn University of Technology, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"Department of Computer Engineering , Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010286547","display_name":"Jaan Raik","orcid":"https://orcid.org/0000-0001-8113-020X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Jaan Raik","raw_affiliation_strings":["Department of Computer Engineering, Tallinn University of Technology, Estonia","Department of Computer Engineering , Tallinn University of Technology, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"Department of Computer Engineering , Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010536057","display_name":"Raimund Ubar","orcid":"https://orcid.org/0000-0001-8186-4385"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Raimund Ubar","raw_affiliation_strings":["Department of Computer Engineering, Tallinn University of Technology, Estonia","Department of Computer Engineering , Tallinn University of Technology, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"Department of Computer Engineering , Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079644832","display_name":"Giuseppe Di Guglielmo","orcid":"https://orcid.org/0000-0002-5749-1432"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Di Guglielmo","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025088388","display_name":"Graziano Pravadelli","orcid":"https://orcid.org/0000-0002-7833-1673"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Graziano Pravadelli","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5031994404"],"corresponding_institution_ids":["https://openalex.org/I111112146"],"apc_list":null,"apc_paid":null,"fwci":1.9594,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.86948027,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"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/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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9993000030517578,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8251290917396545},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8146642446517944},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6474308371543884},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.6419724822044373},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.6414510607719421},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5593130588531494},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.49752214550971985},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4195348620414734},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35919204354286194},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.32791584730148315},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32475531101226807},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.20850971341133118},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15425041317939758}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8251290917396545},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8146642446517944},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6474308371543884},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.6419724822044373},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.6414510607719421},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5593130588531494},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.49752214550971985},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4195348620414734},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35919204354286194},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.32791584730148315},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32475531101226807},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.20850971341133118},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15425041317939758},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ets.2012.6233020","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets.2012.6233020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)","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":31,"referenced_works":["https://openalex.org/W1525968431","https://openalex.org/W1569727528","https://openalex.org/W1581576329","https://openalex.org/W1607765501","https://openalex.org/W1608751254","https://openalex.org/W1936022305","https://openalex.org/W1936354298","https://openalex.org/W2036196659","https://openalex.org/W2042813319","https://openalex.org/W2049695835","https://openalex.org/W2058547057","https://openalex.org/W2092239677","https://openalex.org/W2092742242","https://openalex.org/W2101819268","https://openalex.org/W2102364390","https://openalex.org/W2110066339","https://openalex.org/W2127735256","https://openalex.org/W2133737484","https://openalex.org/W2134886801","https://openalex.org/W2137839528","https://openalex.org/W2139531926","https://openalex.org/W2147971753","https://openalex.org/W2151497118","https://openalex.org/W2162376048","https://openalex.org/W2162535172","https://openalex.org/W2293624369","https://openalex.org/W4236162975","https://openalex.org/W4241614303","https://openalex.org/W4251324159","https://openalex.org/W6634744571","https://openalex.org/W6680320560"],"related_works":["https://openalex.org/W1657880117","https://openalex.org/W2595172197","https://openalex.org/W2393746923","https://openalex.org/W2972496411","https://openalex.org/W3033662781","https://openalex.org/W4239223006","https://openalex.org/W2011854888","https://openalex.org/W2394408226","https://openalex.org/W4389168214","https://openalex.org/W4366457933"],"abstract_inverted_index":{"Verification":[0],"is":[1,17,112],"increasingly":[2],"becoming":[3],"the":[4,14,22,34,42,71,87,93,97,109,122],"bottleneck":[5],"in":[6],"designing":[7],"digital":[8],"systems.":[9],"In":[10,89],"fact,":[11],"most":[12],"of":[13,24,30,79],"verification":[15],"cycle":[16],"not":[18],"spent":[19],"on":[20,27,96],"detecting":[21],"occurrences":[23],"errors":[25,119],"but":[26],"debugging,":[28],"consisting":[29],"locating":[31],"and":[32,65],"correcting":[33,59],"errors.":[35,88],"However,":[36],"automated":[37,56],"design-error":[38],"debug,":[39],"especially":[40],"at":[41],"system-level,":[43],"has":[44],"received":[45],"far":[46],"less":[47],"attention":[48],"than":[49],"error":[50,72],"detection.":[51],"Current":[52],"paper":[53],"presents":[54],"an":[55],"approach":[57],"to":[58,86,91,114,121],"system-level":[60],"designs.":[61],"We":[62],"propose":[63],"dynamic-slicing":[64],"location-ranking-based":[66],"method":[67,111],"for":[68,82],"accurately":[69],"pinpointing":[70],"locations":[73],"combined":[74],"with":[75],"a":[76],"dedicated":[77],"set":[78,100],"mutation":[80],"operators":[81],"automatically":[83],"proposing":[84],"corrections":[85],"order":[90],"validate":[92],"approach,":[94],"experiments":[95,106],"Siemens":[98],"benchmark":[99],"have":[101],"been":[102],"carried":[103],"out.":[104],"The":[105],"show":[107],"that":[108],"proposed":[110],"able":[113],"correct":[115],"three":[116],"times":[117],"more":[118],"compared":[120],"state-of-the-art":[123],"mutation-based":[124],"correction":[125],"methods":[126],"while":[127],"examining":[128],"fewer":[129],"mutants.":[130]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}