{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T12:41:55Z","timestamp":1648989715642},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s11432-012-4751-z","type":"journal-article","created":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T02:46:59Z","timestamp":1356662819000},"page":"2774-2784","source":"Crossref","is-referenced-by-count":2,"title":["An efficient method for detecting concurrency errors in object-oriented programs"],"prefix":"10.1007","volume":"55","author":[{"given":"YanXiang","family":"He","sequence":"first","affiliation":[]},{"given":"Wei","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,12,29]]},"reference":[{"key":"4751_CR1","unstructured":"Godefroid P, Nagappan N. Concurrency at Microsoft: an exploratory survey. In: Workshop on Exploiting Concurrency Efficiently and Correctly, Princeton, 2008"},{"key":"4751_CR2","unstructured":"Poulsen K. Tracking the blackout bug Security Focus. 2004-04-07. http:\/\/www.securityfocus.com\/news\/8412"},{"key":"4751_CR3","volume-title":"SafeWare: System Safety and Computers","author":"N. G. Leveson","year":"1995","unstructured":"Leveson N G. SafeWare: System Safety and Computers. Boston: Addison-Wesley Professional, 1995"},{"key":"4751_CR4","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1145\/76894.76897","volume":"4","author":"C. E. McDowell","year":"1989","unstructured":"McDowell C E, Helmbold D P. Debugging concurrent programs. ACM Comput Surv, 1989, 4: 593\u2013622","journal-title":"ACM Comput Surv"},{"key":"4751_CR5","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/1273442.1250785","volume":"6","author":"M. Musuvathi","year":"2007","unstructured":"Musuvathi M, Qadeer S. Iterative context bounding for systematic testing of multithreaded programs. ACM SIGPLAN Not, 2007, 6: 446\u2013455","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR6","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/1543135.1542490","volume":"44","author":"C. Flanagan","year":"2009","unstructured":"Flanagan C, Freund S. FastTrack: efficient and precise dynamic race detection. ACM SIGPLAN Not, 2009, 44: 121\u2013133","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR7","unstructured":"Park S, Vuduc R W, Harrold M J. Falcon: fault localization in concurrent programs. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, Cape Town, 2010. 245\u2013254"},{"key":"4751_CR8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1508284.1508249","volume":"44","author":"S. Park","year":"2009","unstructured":"Park S, Lu S, Zhou Y. CTrigger: exposing atomicity violation bugs from their hiding places. ACM SIGPLAN Not, 2009, 44: 25\u201336","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR9","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/1735971.1736040","volume":"45","author":"S. Burckhardt","year":"2010","unstructured":"Burckhardt S, Kothari P, Musuvathi M, et al. A randomized scheduler with probabilistic guarantees of finding bugs. ACM SIGPLAN Not, 2010, 45: 167\u2013178","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR10","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/1837853.1693458","volume":"45","author":"K. E. Coons","year":"2010","unstructured":"Coons K E, Burckhardt S, Musuvathi M. GAMBIT: effective unit testing for concurrency libraries. ACM SIGPLAN Not, 2010, 45: 15\u201324","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR11","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1145\/2103621.2103718","volume":"47","author":"M. Pradel","year":"2012","unstructured":"Pradel M, Gross T R. Fully automatic and precise detection of thread safety violations. ACM SIGPLAN Not, 2012, 47: 521\u2013530","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR12","volume-title":"Java 7 the Complete Reference","author":"H. Schildt","year":"2011","unstructured":"Schildt H. Java 7 the Complete Reference. 8th Ed. New York: Mc-Graw Hill, 2011","edition":"8th Ed."},{"key":"4751_CR13","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/1353536.1346323","volume":"43","author":"S. Lu","year":"2008","unstructured":"Lu S, Park S, Seo E, et al. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ACM SIGPLAN Not, 2008, 43: 329\u2013339","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR14","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/2076021.2048073","volume":"46","author":"O. Shacham","year":"2011","unstructured":"Shacham O, Bronson N, Aiken A, et al. Testing atomicity of composed concurrent operations. ACM SIGPLAN Not, 2011, 46: 51\u201364","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR15","unstructured":"Nistor A, Luo Q, Pradel M, et al. Ballerina: automatic generation and clustering of efficient random unit tests for multithreaded code. In: ICSE 2012 Proceedings of the 2012 International Conference on Software Engineering, Piscataway, 2012. 727\u2013737"},{"key":"4751_CR16","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/1543135.1542491","volume":"44","author":"D. Marino","year":"2009","unstructured":"Marino D, Musuvathi M, Narayanasamy S. LiteRace: effective sampling for lightweight data-race detection. ACM SIGPLAN Not, 2009, 44: 134\u2013143","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR17","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/504311.504288","volume":"36","author":"C. V. Praun","year":"2001","unstructured":"Praun C V, Gross T R. Object race detection. ACM SIGPLAN Not, 2001, 36: 70\u201382","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/966049.781528","volume":"38","author":"R. O. Callahan","year":"2003","unstructured":"Callahan R O, Choi J D. Hybrid dynamic data race detection. ACM SIGPLAN Not, 2003, 38: 167\u2013178","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/1379022.1375618","volume":"43","author":"C. Flanagan","year":"2008","unstructured":"Flanagan C, Freund S N, Yi J. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. ACM SIGPLAN Not, 2008, 43: 293\u2013303","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR20","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/TSE.2011.35","volume":"38","author":"S. Lu","year":"2012","unstructured":"Lu S. Finding atomicity-violation bugs through unserializable interleaving testing. IEEE Trans Softw Eng, 2012, 38: 844\u2013860","journal-title":"IEEE Trans Softw Eng"},{"key":"4751_CR21","doi-asserted-by":"crossref","unstructured":"Naik M, Park C S, Sen K, et al. Effective static deadlock detection. In: ICSE\u2019 09 Proceedings of the 31st International Conference on Software Engineering, Vancouver, 2009. 386\u2013396","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"4751_CR22","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/2103621.2103662","volume":"47","author":"S. Joshi","year":"2012","unstructured":"Joshi S, Lahiri S K, Lal A. Underspecified harnesses and interleaved bugs. ACM SIGPLAN Not, 2012, 47: 19\u201330","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR23","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"Herlihy M, Wing J M. Linearizability: a correctness condition for concurrent objects. ACM Trans Program Lang Syst, 1990, 12: 463\u2013492","journal-title":"ACM Trans Program Lang Syst"},{"key":"4751_CR24","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/1809028.1806634","volume":"45","author":"S. Burckhardt","year":"2010","unstructured":"Burckhardt S, Dern C, Musuvathi M, et al. Line-Up: a complete and automatic linearizability checker. ACM SIGPLAN Not, 2010, 45: 330\u2013340","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR25","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/1064978.1065036","volume":"40","author":"P. Godefroid","year":"2005","unstructured":"Godefroid P, Klarlund N, Sen K. DART: directed automated random testing. ACM SIGPLAN Not, 2005, 40: 213\u2013223","journal-title":"ACM SIGPLAN Not"},{"key":"4751_CR26","doi-asserted-by":"crossref","unstructured":"Pacheco C, Lahiri S K, Ernst M D, et al. Feedback-directed random test generation. In: ICSE\u2019 07 Proceedings of the 29th international conference on Software Engineering, Minneapolis, 2007. 75\u201384","DOI":"10.1109\/ICSE.2007.37"},{"key":"4751_CR27","doi-asserted-by":"crossref","first-page":"1797","DOI":"10.1007\/s11432-011-4368-7","volume":"54","author":"S. Krishnamoorthy","year":"2011","unstructured":"Krishnamoorthy S, Hsiao M S, Lingappan L. Strategies for scalable symbolic execution-driven test generation for programs. Sci China Inf Sci, 2011, 54: 1797\u20131812","journal-title":"Sci China Inf Sci"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4751-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-012-4751-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4751-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T13:19:10Z","timestamp":1562505550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-012-4751-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":27,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["4751"],"URL":"https:\/\/doi.org\/10.1007\/s11432-012-4751-z","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}