{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T05:57:02Z","timestamp":1673071022081},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,10,20]],"date-time":"2015-10-20T00:00:00Z","timestamp":1445299200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s11704-015-4334-4","type":"journal-article","created":{"date-parts":[[2015,10,19]],"date-time":"2015-10-19T23:41:25Z","timestamp":1445298085000},"page":"944-955","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["BIFER: a biphasic trace filter approach to scalable prediction of concurrency errors"],"prefix":"10.1007","volume":"9","author":[{"given":"Xi","family":"Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuo","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianxin","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,20]]},"reference":[{"key":"4334_CR1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/11494881_14","volume-title":"In: Proceedings of the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems.","author":"K Sen","year":"2005","unstructured":"Sen K, Rosu G, Agha G. Detecting errors in multithreaded programs by generalized predictive analysis of executions. In: Proceedings of the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. 2005, 211\u2013226"},{"key":"4334_CR2","first-page":"137","volume-title":"In: Proceedings of ACM International Conference on Principles and Practice of Parallel Programming.","author":"L Wang","year":"2006","unstructured":"Wang L, Stoller S. Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: Proceedings of ACM International Conference on Principles and Practice of Parallel Programming. 2006, 137\u2013146"},{"key":"4334_CR3","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-642-02658-4_21","volume-title":"In: Proceedings of the 21st International Conference on Computer Aided Verification","author":"A Farzan","year":"2009","unstructured":"Farzan A, Madhusudan P, Sorrentino F. Meta-analysis for atomicity violations under nested locking. In: Proceedings of the 21st International Conference on Computer Aided Verification. 2009, 248\u2013262"},{"key":"4334_CR4","first-page":"221","volume-title":"In: Proceedings of the 30th International Conference on Software Engineering.","author":"F Chen","year":"2008","unstructured":"Chen F, Serbanuta T F, Rosu G. Predictor: a predictive runtime analysis tool for Java. In: Proceedings of the 30th International Conference on Software Engineering. 2008, 221\u2013230"},{"key":"4334_CR5","first-page":"256","volume-title":"In: Proceedings of International Symposium on Formal Methods.","author":"C Wang","year":"2009","unstructured":"Wang C, Kundu S, Ganai M K, Gupta A. Symbolic predictive analysis for concurrent programs. In: Proceedings of International Symposium on Formal Methods. 2009, 256\u2013272"},{"key":"4334_CR6","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/978-3-642-12002-2_27","volume-title":"In: Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.","author":"C Wang","year":"2010","unstructured":"Wang C, Limaye R, Ganai M K, Gupta A. Trace-based symbolic analysis for atomicity violations. In: Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2010, 328\u2013342"},{"key":"4334_CR7","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/978-3-642-14295-6_39","volume-title":"In: Proceedings of the 22nd International Conference on Computer Aided Verification.","author":"V Kahlon","year":"2010","unstructured":"Kahlon V, Wang C. Universal causality graphs: a precise happensbefore model for detecting bugs in concurrent programs. In: Proceedings of the 22nd International Conference on Computer Aided Verification. 2010, 434\u2013449"},{"issue":"3","key":"4334_CR8","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/1735971.1736041","volume":"45","author":"W Zhang","year":"2010","unstructured":"Zhang W, Sun C, Lu S. Conmem: detecting severe concurrency bugs through an effect-oriented approach. ACM SIGPLAN Notices, 2010, 45(3): 179\u2013192","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"4334_CR9","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1145\/1111320.1111067","volume":"41","author":"M Vaziri","year":"2006","unstructured":"Vaziri M, Tip F, Dolby J. Associating synchronization constraints with data in an object-oriented language. ACM SIGPLAN Notices, 2006, 41(1): 334\u2013345","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"4334_CR10","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/2430536.2430542","volume":"22","author":"J Huang","year":"2013","unstructured":"Huang J, Zhou J G, Zhang C. Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Transactions on Software Engineering and Methodology, 2013, 22(1): 8","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"3","key":"4334_CR11","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, Zhou Y Y. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ACM SIGPLAN Notices, 2008, 43(3): 329\u2013339","journal-title":"ACM SIGPLAN Notices"},{"issue":"6","key":"4334_CR12","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1145\/1993316.1993543","volume":"46","author":"B Lucia","year":"2011","unstructured":"Lucia B, Wood B P, Ceze L. Isolating and understanding concurrency errors using reconstructed execution fragments. ACM SIGPLAN Notices, 2011, 46(6): 378\u2013388","journal-title":"ACM SIGPLAN Notices"},{"issue":"10","key":"4334_CR13","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1145\/1932682.1869474","volume":"45","author":"Y Shi","year":"2010","unstructured":"Shi Y, Park S, Yin Z N, Lu S, Zhou Y Y, Chen W G, Zheng W M. Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs. ACM SIGPLAN Notices, 2010, 45(10): 160\u2013174","journal-title":"ACM SIGPLAN Notices"},{"key":"4334_CR14","first-page":"221","volume-title":"In: Proceedings of the 33rd International Conference on Software Engineering.","author":"C Wang","year":"2011","unstructured":"Wang C, Said M, Gupta A. Coverage guided systematic concurrency testing. In: Proceedings of the 33rd International Conference on Software Engineering. 2011, 221\u2013230"},{"key":"4334_CR15","first-page":"235","volume-title":"In: Proceedings of the 32nd International Conference on Software Engineering.","author":"Z Lai","year":"2010","unstructured":"Lai Z, Cheung S C, Chan W K. Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. In: Proceedings of the 32nd International Conference on Software Engineering. 2010, 235\u2013244"},{"key":"4334_CR16","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/2001420.2001438","volume-title":"In: Proceedings of the 2011 International Symposium on Software Testing and Analysis.","author":"J Huang","year":"2011","unstructured":"Huang J, Zhang C. Persuasive prediction of concurrency access anomalies. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis. 2011, 144\u2013154"},{"issue":"4","key":"4334_CR17","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson T E. Eraser: a dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 1997, 15(4): 391\u2013411","journal-title":"ACM Transactions on Computer Systems"},{"issue":"6","key":"4334_CR18","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1379022.1375584","volume":"43","author":"K Sen","year":"2008","unstructured":"Sen K. Race directed random testing of concurrent programs. ACM SIGPLAN Notices, 2008, 43(6): 11\u201321","journal-title":"ACM SIGPLAN Notices"},{"key":"4334_CR19","volume-title":"In: Proceedings of IEEE International Parallel and Distributed Processing Symposium.","author":"E Farchi","year":"2003","unstructured":"Farchi E, Nir Y, Ur S. Concurrent bug patterns and how to test them. In: Proceedings of IEEE International Parallel and Distributed Processing Symposium. 2003"},{"issue":"1","key":"4334_CR20","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/1047659.1040315","volume":"40","author":"C Flanagan","year":"2005","unstructured":"Flanagan C, Godefroid P. Dynamic partial-order reduction for model checking software. ACM SIGPLAN Notices, 2005, 40(1): 110\u2013121","journal-title":"ACM SIGPLAN Notices"},{"key":"4334_CR21","first-page":"47","volume-title":"In: Proceedings of the 18th ACM SIGSOFT International Symposium on the Foundations of Software Engineering.","author":"N Sinha","year":"2010","unstructured":"Sinha N, Wang C. Staged concurrent program analysis. In: Proceedings of the 18th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. 2010, 47\u201356"},{"key":"4334_CR22","first-page":"110","volume-title":"In: Proceedings of the 2nd International Conference on Runtime Verification.","author":"K Serebryany","year":"2011","unstructured":"Serebryany K, Potapenko A, Iskhodzhanov T, Vyukov D. Dynamic race detection with LLVM compiler. In: Proceedings of the 2nd International Conference on Runtime Verification. 2011, 110\u2013114"},{"key":"4334_CR23","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1181309.1181315","volume-title":"In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability.","author":"P Sack","year":"2006","unstructured":"Sack P, Bliss B E, Ma Z Q, Petersen P, Torrellas J. Accurate and efficient filtering for the intel thread checker race detector. In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability. 2006, 34\u201341"},{"issue":"6","key":"4334_CR24","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 Notices, 2009, 44(6): 134\u2013143","journal-title":"ACM SIGPLAN Notices"},{"issue":"6","key":"4334_CR25","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1145\/1809028.1806626","volume":"45","author":"M D Bond","year":"2010","unstructured":"Bond M D, Coons K E, Mc Kinley K S. Pacer: proportional detection of data races. ACM SIGPLAN Notices, 2010, 45(6): 255\u2013268","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"4334_CR26","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/1095809.1095832","volume":"39","author":"Y Yu","year":"2005","unstructured":"Yu Y, Rodeheffer T, W C. Racetrack: efficient detection of data race conditions via adaptive tracking. ACM SIGOPS Operating Systems Review, 2005, 39(5): 221\u2013234","journal-title":"ACM SIGOPS Operating Systems Review"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-015-4334-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-015-4334-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-015-4334-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:01:22Z","timestamp":1559422882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-015-4334-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,20]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["4334"],"URL":"https:\/\/doi.org\/10.1007\/s11704-015-4334-4","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,20]]}}}