{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T16:00:29Z","timestamp":1778601629745,"version":"3.51.4"},"reference-count":17,"publisher":"World Scientific Pub Co Pte Lt","issue":"09n10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2017,11]]},"abstract":"<jats:p> Linearizability is an important correctness criterion that guarantees the safety of concurrent data structures. Due to the nondeterminism of concurrent executions, reproduction and localization of a linearizability fault still remain challenging. The existing works mainly focus on model checking the thread schedule space of a concurrent program on a fine-grained (state) level, and hence suffer from the severe problem of state space explosion. This paper presents a tool called CGVT to build a small test case that is sufficient enough for reproducing a linearizability fault. Given a possibly long history that has been detected nonlinearizable, CGVT first locates the operations causing a linearizability violation and then synthesizes a minimum test case for further investigation. Moreover, we present several optimization techniques to improve the effectiveness and efficiency of CGVT. We have applied CGVT to 10 concurrent objects, while the linearizability of some of the objects is unknown yet. The experiments show that CGVT is powerful and efficient enough to build the test cases more adaptable for fine-grained fault localization. <\/jats:p>","DOI":"10.1142\/s0218194017400071","type":"journal-article","created":{"date-parts":[[2018,1,28]],"date-time":"2018-01-28T22:17:32Z","timestamp":1517177852000},"page":"1483-1505","source":"Crossref","is-referenced-by-count":2,"title":["Localization of Linearizability Faults on the Coarse-Grained Level"],"prefix":"10.1142","volume":"27","author":[{"given":"Zhenya","family":"Zhang","sequence":"first","affiliation":[{"name":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, 4 South Fourth Street, Zhongguancun, Haidian Beijing 100190, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Wu","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, 4 South Fourth Street, Zhongguancun, Haidian Beijing 100190, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Zhang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, 4 South Fourth Street, Zhongguancun, Haidian Beijing 100190, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2018,1,28]]},"reference":[{"key":"S0218194017400071BIB001","doi-asserted-by":"publisher","DOI":"10.1145\/2775051.2677002"},{"key":"S0218194017400071BIB002","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806634"},{"key":"S0218194017400071BIB003","doi-asserted-by":"publisher","DOI":"10.1145\/1735971.1736040"},{"key":"S0218194017400071BIB006","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.654"},{"key":"S0218194017400071BIB007","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737983"},{"key":"S0218194017400071BIB014","volume-title":"The Art of Multiprocessor Programming","author":"Herlihy M.","year":"2012"},{"key":"S0218194017400071BIB015","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"S0218194017400071BIB021","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3928"},{"key":"S0218194017400071BIB022","doi-asserted-by":"publisher","DOI":"10.1145\/1353534.1346323"},{"key":"S0218194017400071BIB024","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71410-1_2"},{"key":"S0218194017400071BIB025","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250785"},{"key":"S0218194017400071BIB027","doi-asserted-by":"publisher","DOI":"10.1145\/2370036.2145880"},{"key":"S0218194017400071BIB031","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254126"},{"key":"S0218194017400071BIB033","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80582-6"},{"key":"S0218194017400071BIB034","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-011-9166-8"},{"key":"S0218194017400071BIB035","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375598"},{"key":"S0218194017400071BIB036","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1993.1015"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194017400071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:33:56Z","timestamp":1565184836000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194017400071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":17,"journal-issue":{"issue":"09n10","published-online":{"date-parts":[[2018,1,28]]},"published-print":{"date-parts":[[2017,11]]}},"alternative-id":["10.1142\/S0218194017400071"],"URL":"https:\/\/doi.org\/10.1142\/s0218194017400071","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11]]}}}