{"id":"https://openalex.org/W2154199228","doi":"https://doi.org/10.1145/1390630.1390650","title":"Racer","display_name":"Racer","publication_year":2008,"publication_date":"2008-07-20","ids":{"openalex":"https://openalex.org/W2154199228","doi":"https://doi.org/10.1145/1390630.1390650","mag":"2154199228"},"language":"en","primary_location":{"id":"doi:10.1145/1390630.1390650","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1390630.1390650","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2008 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/A5076678278","display_name":"Eric Bodden","orcid":"https://orcid.org/0000-0003-3470-3647"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Eric Bodden","raw_affiliation_strings":["McGill University, Montreal, PQ, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University, Montreal, PQ, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040778442","display_name":"Klaus Havelund","orcid":"https://orcid.org/0000-0001-7079-0472"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Klaus Havelund","raw_affiliation_strings":["California Institute of Technology, Pasadena, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"California Institute of Technology, Pasadena, CA, USA","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":80,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"155","last_page":"166"},"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.9994000196456909,"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.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.7867348194122314},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6568065881729126},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.5436635613441467},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4802280068397522},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46588391065597534}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7867348194122314},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6568065881729126},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.5436635613441467},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4802280068397522},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46588391065597534}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1390630.1390650","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1390630.1390650","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2008 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":45,"referenced_works":["https://openalex.org/W97749504","https://openalex.org/W125251596","https://openalex.org/W194677851","https://openalex.org/W1487156640","https://openalex.org/W1489781149","https://openalex.org/W1518218347","https://openalex.org/W1519345549","https://openalex.org/W1532324212","https://openalex.org/W1536098516","https://openalex.org/W1544441750","https://openalex.org/W1561114929","https://openalex.org/W1568532261","https://openalex.org/W1572187826","https://openalex.org/W1825341937","https://openalex.org/W1862182621","https://openalex.org/W1965462925","https://openalex.org/W1972544179","https://openalex.org/W2002179840","https://openalex.org/W2016208194","https://openalex.org/W2030183445","https://openalex.org/W2039350582","https://openalex.org/W2039528863","https://openalex.org/W2047260020","https://openalex.org/W2048327004","https://openalex.org/W2082766667","https://openalex.org/W2107089133","https://openalex.org/W2107412422","https://openalex.org/W2111141292","https://openalex.org/W2127989655","https://openalex.org/W2136033258","https://openalex.org/W2137591753","https://openalex.org/W2144871685","https://openalex.org/W2146540946","https://openalex.org/W2164538023","https://openalex.org/W2169589594","https://openalex.org/W2171142397","https://openalex.org/W2171480813","https://openalex.org/W2189249475","https://openalex.org/W2561675875","https://openalex.org/W2789912626","https://openalex.org/W4233497262","https://openalex.org/W4234921998","https://openalex.org/W4245749384","https://openalex.org/W6660305404","https://openalex.org/W7038634830"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2069768096","https://openalex.org/W2611825707","https://openalex.org/W1547394117","https://openalex.org/W1580516753"],"abstract_inverted_index":{"Programming":[0],"errors":[1,31],"occur":[2],"frequently":[3],"in":[4],"large":[5],"software":[6],"systems,":[7],"and":[8,37],"even":[9],"more":[10],"so":[11],"if":[12],"these":[13],"systems":[14],"are":[15],"concurrent.":[16],"In":[17],"the":[18],"past":[19],"researchers":[20],"have":[21],"developed":[22],"specialized":[23],"programs":[24],"to":[25],"aid":[26],"programmers":[27],"detecting":[28],"concurrent":[29],"programming":[30],"such":[32],"as":[33],"deadlocks,":[34],"livelocks,":[35],"starvation":[36],"data":[38],"races.":[39]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":11}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-06-24T00:00:00"}