{"id":"https://openalex.org/W2108278741","doi":"https://doi.org/10.1109/tse.2003.1237172","title":"Using redundancies to find errors","display_name":"Using redundancies to find errors","publication_year":2003,"publication_date":"2003-10-01","ids":{"openalex":"https://openalex.org/W2108278741","doi":"https://doi.org/10.1109/tse.2003.1237172","mag":"2108278741"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2003.1237172","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2003.1237172","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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/A5046598816","display_name":"Yichen Xie","orcid":"https://orcid.org/0000-0002-0974-5979"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yichen Xie","raw_affiliation_strings":["Computer Systems Laboratory, University of Stanford, Stanford, CA, USA","Comput. Syst. Lab., Stanford Univ., CA, USA"],"affiliations":[{"raw_affiliation_string":"Computer Systems Laboratory, University of Stanford, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Comput. Syst. Lab., Stanford Univ., CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111537551","display_name":"Dawson Engler","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. Engler","raw_affiliation_strings":["Computer Systems Laboratory, University of Stanford, Stanford, CA, USA","Comput. Syst. Lab., Stanford Univ., CA, USA"],"affiliations":[{"raw_affiliation_string":"Computer Systems Laboratory, University of Stanford, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Comput. Syst. Lab., Stanford Univ., CA, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046598816"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":15.331,"has_fulltext":false,"cited_by_count":51,"citation_normalized_percentile":{"value":0.9859745,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"29","issue":"10","first_page":"915","last_page":"928"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980000257492065,"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/flagging","display_name":"Flagging","score":0.9428834915161133},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.879711925983429},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.7111690640449524},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.6391241550445557},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.4801613688468933},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.449870765209198},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3637040853500366},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33159810304641724},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17461925745010376},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09316250681877136}],"concepts":[{"id":"https://openalex.org/C2777548347","wikidata":"https://www.wikidata.org/wiki/Q5456937","display_name":"Flagging","level":2,"score":0.9428834915161133},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.879711925983429},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.7111690640449524},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6391241550445557},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.4801613688468933},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.449870765209198},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3637040853500366},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33159810304641724},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17461925745010376},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09316250681877136},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2003.1237172","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2003.1237172","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5699999928474426,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320308380","display_name":"Yale University","ror":"https://ror.org/03v76x132"},{"id":"https://openalex.org/F4320309369","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1482207865","https://openalex.org/W1491178396","https://openalex.org/W1579850852","https://openalex.org/W1600965014","https://openalex.org/W1972544179","https://openalex.org/W1983121589","https://openalex.org/W1993836075","https://openalex.org/W1998070736","https://openalex.org/W2000346568","https://openalex.org/W2025317174","https://openalex.org/W2025554746","https://openalex.org/W2040368451","https://openalex.org/W2043811931","https://openalex.org/W2068219251","https://openalex.org/W2070869623","https://openalex.org/W2074524300","https://openalex.org/W2078331806","https://openalex.org/W2084974764","https://openalex.org/W2087086761","https://openalex.org/W2089139117","https://openalex.org/W2106972913","https://openalex.org/W2123301443","https://openalex.org/W2129380858","https://openalex.org/W2146878883","https://openalex.org/W2149984854","https://openalex.org/W2799002609","https://openalex.org/W4230796557","https://openalex.org/W4235136009","https://openalex.org/W4240458502","https://openalex.org/W4251803824","https://openalex.org/W4256028745","https://openalex.org/W4256147943","https://openalex.org/W6614337950","https://openalex.org/W6634652938","https://openalex.org/W6660680143"],"related_works":["https://openalex.org/W2807886874","https://openalex.org/W2946613364","https://openalex.org/W1697346018","https://openalex.org/W2113326855","https://openalex.org/W611259847","https://openalex.org/W2354785495","https://openalex.org/W82217049","https://openalex.org/W2355140909","https://openalex.org/W92485060","https://openalex.org/W2981191153"],"abstract_inverted_index":{"Programmers":[0],"generally":[1],"attempt":[2],"to":[3,79,119,135,142],"perform":[4],"useful":[5],"work.":[6],"If":[7],"they":[8,15,99],"performed":[9],"an":[10],"action,":[11],"it":[12,17],"was":[13],"because":[14],"believed":[16],"served":[18],"some":[19],"purpose.":[20],"Redundant":[21],"operations":[22,31,115],"violate":[23],"this":[24,70],"belief.":[25],"However,":[26],"in":[27,48,124],"the":[28,103],"past,":[29],"redundant":[30,114],"have":[32],"been":[33],"typically":[34],"regarded":[35],"as":[36,53,55,60],"minor":[37],"cosmetic":[38],"problems":[39],"rather":[40],"than":[41],"serious":[42,54],"errors.":[43,89,108],"This":[44],"paper":[45],"demonstrates":[46],"that,":[47,93],"fact,":[49],"many":[50,88],"redundancies":[51,96,141],"are":[52,97],"traditional":[56,106],"hard":[57,107],"errors":[58],"(such":[59],"race":[61],"conditions":[62],"or":[63],"null":[64],"pointer":[65],"dereferences).":[66],"We":[67,90],"experimentally":[68],"test":[69],"idea":[71],"by":[72,146],"writing":[73],"and":[74,122],"applying":[75],"five":[76],"redundancy":[77],"checkers":[78],"a":[80,117,128],"number":[81],"of":[82,105],"large":[83],"open":[84],"source":[85],"projects,":[86],"finding":[87],"then":[91],"show":[92,111],"even":[94],"when":[95],"harmless,":[98],"strongly":[100],"correlate":[101],"with":[102],"presence":[104],"Finally,":[109],"we":[110],"how":[112],"flagging":[113,147],"gives":[116],"way":[118],"detect":[120,143],"mistakes":[121],"omissions":[123],"specifications.":[125],"For":[126],"example,":[127],"locking":[129],"specification":[130],"that":[131,150],"binds":[132],"shared":[133,153],"variables":[134],"their":[136],"protecting":[137],"locks":[138],"can":[139],"use":[140],"missing":[144],"bindings":[145],"critical":[148],"sections":[149],"include":[151],"no":[152],"state.":[154]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}