{"id":"https://openalex.org/W2141656264","doi":"https://doi.org/10.1145/1321631.1321643","title":"Assertion-based repair of complex data structures","display_name":"Assertion-based repair of complex data structures","publication_year":2007,"publication_date":"2007-11-05","ids":{"openalex":"https://openalex.org/W2141656264","doi":"https://doi.org/10.1145/1321631.1321643","mag":"2141656264"},"language":"en","primary_location":{"id":"doi:10.1145/1321631.1321643","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1321631.1321643","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repositories.lib.utexas.edu/bitstreams/7e5d190c-d44d-4faa-88a4-0bcbbdeb1fc6/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081703331","display_name":"Bassem Elkarablieh","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bassem Elkarablieh","raw_affiliation_strings":["University of Texas at Austin, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045173322","display_name":"Iv\u00e1n Garc\u00eda","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ivan Garcia","raw_affiliation_strings":["University of Texas at Austin, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064588441","display_name":"Yuk Lai Suen","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuk Lai Suen","raw_affiliation_strings":["University of Texas at Austin, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102146282","display_name":"Sarfraz Khurshid","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sarfraz Khurshid","raw_affiliation_strings":["University of Texas at Austin, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":4.7487,"has_fulltext":true,"cited_by_count":60,"citation_normalized_percentile":{"value":0.96344486,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"64","last_page":"73"},"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.9993000030517578,"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.9993000030517578,"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/T11424","display_name":"Security and Verification in Computing","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9983999729156494,"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/assertion","display_name":"Assertion","score":0.984484076499939},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8223074674606323},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7754602432250977},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7254496216773987},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5900587439537048},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4994041919708252},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3644605278968811},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.062127888202667236}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.984484076499939},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8223074674606323},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7754602432250977},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7254496216773987},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5900587439537048},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4994041919708252},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3644605278968811},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.062127888202667236}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1321631.1321643","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1321631.1321643","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:repositories.lib.utexas.edu:2152/17374","is_oa":true,"landing_page_url":"http://hdl.handle.net/2152/17374","pdf_url":"https://repositories.lib.utexas.edu/bitstreams/7e5d190c-d44d-4faa-88a4-0bcbbdeb1fc6/download","source":{"id":"https://openalex.org/S4306400568","display_name":"Texas ScholarWorks (Texas Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210102904","host_organization_name":"Texas Digital Library","host_organization_lineage":["https://openalex.org/I4210102904"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.103.1800","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:repositories.lib.utexas.edu:2152/17374","is_oa":true,"landing_page_url":"http://hdl.handle.net/2152/17374","pdf_url":"https://repositories.lib.utexas.edu/bitstreams/7e5d190c-d44d-4faa-88a4-0bcbbdeb1fc6/download","source":{"id":"https://openalex.org/S4306400568","display_name":"Texas ScholarWorks (Texas Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210102904","host_organization_name":"Texas Digital Library","host_organization_lineage":["https://openalex.org/I4210102904"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.8100000023841858}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2141656264.pdf","grobid_xml":"https://content.openalex.org/works/W2141656264.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W123065924","https://openalex.org/W206265171","https://openalex.org/W1502752511","https://openalex.org/W1513363711","https://openalex.org/W1515278398","https://openalex.org/W1521711401","https://openalex.org/W1523720513","https://openalex.org/W1720848645","https://openalex.org/W1863629953","https://openalex.org/W1895387792","https://openalex.org/W1980314090","https://openalex.org/W1980627207","https://openalex.org/W2036802481","https://openalex.org/W2096449544","https://openalex.org/W2096824803","https://openalex.org/W2098010463","https://openalex.org/W2101512909","https://openalex.org/W2105899810","https://openalex.org/W2115309705","https://openalex.org/W2117058582","https://openalex.org/W2125855750","https://openalex.org/W2135948849","https://openalex.org/W2142756246","https://openalex.org/W2162120832","https://openalex.org/W2162968794","https://openalex.org/W2170239024","https://openalex.org/W2171480813","https://openalex.org/W2752885492","https://openalex.org/W4237492309","https://openalex.org/W4253606798","https://openalex.org/W4285719527","https://openalex.org/W6659599057"],"related_works":["https://openalex.org/W1498103021","https://openalex.org/W4230849338","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W1968067090","https://openalex.org/W2345942070","https://openalex.org/W2141398161","https://openalex.org/W2016410697","https://openalex.org/W39611005","https://openalex.org/W2061417947"],"abstract_inverted_index":{"Programmers":[0],"have":[1],"long":[2],"used":[3],"assertions":[4],"to":[5,26],"characterize":[6],"properties":[7],"of":[8,43,54,58],"code.":[9],"An":[10],"assertion":[11,50],"violation":[12],"signals":[13],"a":[14,21,39,52],"corruption":[15],"in":[16],"the":[17,28,45,48,56,59],"programstate.":[18],"At":[19],"such":[20],"state,":[22],"it":[23,31,63],"is":[24],"standard":[25],"terminate":[27],"program,":[29,46],"debug":[30],"if":[32],"possible,":[33],"and":[34,61],"re-execute":[35],"it.":[36],"We":[37],"propose":[38],"new":[40],"view:":[41],"instead":[42],"terminating":[44],"use":[47],"violated":[49],"as":[51],"basis":[53],"repairing":[55],"state":[57],"program":[60],"let":[62],"continue.":[64]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":6}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}