{"id":"https://openalex.org/W2111900492","doi":"https://doi.org/10.1145/1806799.1806836","title":"Detecting atomic-set serializability violations in multithreaded programs through active randomized testing","display_name":"Detecting atomic-set serializability violations in multithreaded programs through active randomized testing","publication_year":2010,"publication_date":"2010-05-01","ids":{"openalex":"https://openalex.org/W2111900492","doi":"https://doi.org/10.1145/1806799.1806836","mag":"2111900492"},"language":"en","primary_location":{"id":"doi:10.1145/1806799.1806836","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1806799.1806836","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1","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/A5067429864","display_name":"Zhifeng Lai","orcid":null},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zhifeng Lai","raw_affiliation_strings":["Hong Kong University of Science and Technology, Kowloon, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"S. C. Cheung","raw_affiliation_strings":["Hong Kong University of Science and Technology, Kowloon, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020936420","display_name":"W. K. Chan","orcid":"https://orcid.org/0000-0001-7726-6235"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"W. K. Chan","raw_affiliation_strings":["City University of Hong Kong, Tat Chee Avenue, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University of Hong Kong, Tat Chee Avenue, Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.1385,"has_fulltext":false,"cited_by_count":91,"citation_normalized_percentile":{"value":0.97269181,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"235","last_page":"244"},"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.9997000098228455,"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.9997000098228455,"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.9993000030517578,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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/atomicity","display_name":"Atomicity","score":0.925065279006958},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.892166018486023},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8685113787651062},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7229779958724976},{"id":"https://openalex.org/keywords/two-phase-locking","display_name":"Two-phase locking","score":0.6537821292877197},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6191643476486206},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4869312047958374},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43690451979637146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3620195984840393},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3425820767879486},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.2767716646194458},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.21624112129211426},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.11010730266571045}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.925065279006958},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.892166018486023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8685113787651062},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7229779958724976},{"id":"https://openalex.org/C131346163","wikidata":"https://www.wikidata.org/wiki/Q2290484","display_name":"Two-phase locking","level":5,"score":0.6537821292877197},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6191643476486206},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4869312047958374},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43690451979637146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3620195984840393},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3425820767879486},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.2767716646194458},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.21624112129211426},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.11010730266571045}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1806799.1806836","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1806799.1806836","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.630.8156","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.630.8156","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cityu.edu.hk/~wkchan/papers/icse10-lai+cheung+chan.pdf","raw_type":"text"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-46001","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=0270-5257&rft.volume=1&rft.issue=&rft.date=2010&rft.spage=235&rft.aulast=Lai&rft.aufirst=Z.&rft.atitle=Detecting+atomic-set+serializability+violations+in+multi-threaded+programs+through+active+randomized+testing&rft.title=Proceedings+-+International+Conference+on+Software+Engineering","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.800000011920929}],"awards":[{"id":"https://openalex.org/G2341702399","display_name":null,"funder_award_id":"CityU 7008039","funder_id":"https://openalex.org/F4320309893","funder_display_name":"City University of Hong Kong"},{"id":"https://openalex.org/G2741518813","display_name":null,"funder_award_id":"2006CB303000","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"},{"id":"https://openalex.org/G4248058339","display_name":"\u670d\u52a1\u8ba1\u7b97\u7684\u5f00\u653e\u8f6f\u4ef6\u6a21\u578b\u4e0e\u534f\u540c\u673a\u7406\u7814\u7a76","funder_award_id":"60736015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6970057988","display_name":null,"funder_award_id":"6.12E+17","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"}],"funders":[{"id":"https://openalex.org/F4320309893","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321540","display_name":"Ministry of Science and Technology of the People's Republic of China","ror":"https://ror.org/027s68j25"},{"id":"https://openalex.org/F4320321592","display_name":"Research Grants Council, University Grants Committee","ror":"https://ror.org/00djwmt25"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1497028280","https://openalex.org/W1505468428","https://openalex.org/W1589527069","https://openalex.org/W1868584616","https://openalex.org/W1887412317","https://openalex.org/W1965462925","https://openalex.org/W1972544179","https://openalex.org/W2016167891","https://openalex.org/W2016314068","https://openalex.org/W2080703024","https://openalex.org/W2082766667","https://openalex.org/W2101161997","https://openalex.org/W2119494620","https://openalex.org/W2120027538","https://openalex.org/W2124300773","https://openalex.org/W2127989655","https://openalex.org/W2134164054","https://openalex.org/W2135395375","https://openalex.org/W2137422315","https://openalex.org/W2138546883","https://openalex.org/W2143078813","https://openalex.org/W2146710330","https://openalex.org/W2151689991","https://openalex.org/W2153229512","https://openalex.org/W2157888439","https://openalex.org/W2159856414","https://openalex.org/W2162446957","https://openalex.org/W2911806870","https://openalex.org/W2912084748","https://openalex.org/W3137220996","https://openalex.org/W4232306982","https://openalex.org/W4253362079"],"related_works":["https://openalex.org/W2383108850","https://openalex.org/W50993356","https://openalex.org/W1945998143","https://openalex.org/W2082153234","https://openalex.org/W2996199272","https://openalex.org/W1505544737","https://openalex.org/W1492425880","https://openalex.org/W4232576131","https://openalex.org/W1590881722","https://openalex.org/W2409338718"],"abstract_inverted_index":{"Concurrency":[0],"bugs":[1,139],"are":[2,78],"notoriously":[3],"difficult":[4],"to":[5,90,99,117],"detect":[6,53],"because":[7],"there":[8],"can":[9,23,51,135],"be":[10],"vast":[11],"combinations":[12],"of":[13,32,120],"interleavings":[14,76],"among":[15],"concurrent":[16],"threads,":[17],"yet":[18],"only":[19],"a":[20,29,46,70,87,110,118],"small":[21],"fraction":[22],"reveal":[24],"them.":[25],"Atomic-set":[26],"serializability":[27,55],"characterizes":[28],"wide":[30],"range":[31],"concurrency":[33,125,138],"bugs,":[34],"including":[35],"data":[36],"races":[37],"and":[38,73,114,146],"atomicity":[39],"violations.":[40,56,103],"In":[41,57,80],"this":[42],"paper,":[43],"we":[44],"propose":[45],"two-phase":[47],"testing":[48,143],"technique":[49,61,84,108],"that":[50,65,77,133],"effectively":[52],"atomic-set":[54],"Phase":[58,81,97],"I,":[59],"our":[60,83,107],"infers":[62],"potential":[63,93],"violations":[64],"do":[66],"not":[67],"appear":[68],"in":[69,96],"concrete":[71],"execution":[72],"prunes":[74],"those":[75],"violation-free.":[79],"II,":[82],"actively":[85],"controls":[86],"thread":[88],"scheduler":[89],"enumerate":[91],"these":[92],"scenarios":[94],"identified":[95],"I":[98],"look":[100],"for":[101,123],"real":[102],"We":[104],"have":[105],"implemented":[106],"as":[109],"prototype":[111],"system":[112],"AssetFuzzer":[113,134],"applied":[115],"it":[116],"number":[119],"subject":[121],"programs":[122],"evaluating":[124],"defect":[126],"analysis":[127],"techniques.":[128],"The":[129],"experimental":[130],"results":[131],"show":[132],"identify":[136],"more":[137],"than":[140],"two":[141],"recent":[142],"tools":[144],"RaceFuzzer":[145],"AtomFuzzer.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":15},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":12}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}