{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:59:21Z","timestamp":1725749961982},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399541"},{"type":"electronic","value":"9783642399558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39955-8_9","type":"book-chapter","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T05:17:35Z","timestamp":1380086255000},"page":"97-109","source":"Crossref","is-referenced-by-count":2,"title":["A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions"],"prefix":"10.1007","author":[{"given":"Jing","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Lei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Carver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Kung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Choi, J., Zeller, A.: Isolating Failure-Inducing Thread Schedules. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 210\u2013220 (July 2002)","DOI":"10.1145\/566171.566211"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R., Harrold, M.: A Unified Approach for Localizing non-deadlock Concurrency Bugs. In: 2012 IEEE Fifth International Conference on Proceedings of the Software Testing, Verification and Validation (ICST), pp. 51\u201360 (April 2012)","DOI":"10.1109\/ICST.2012.85"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: Detecting Atomicity Violations via Access Interleaving Invariants. In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 37\u201348 (December 2006)","DOI":"10.1145\/1168857.1168864"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Park, S., Lu, S., Zhou, Y.: CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places. In: Proceedings of ISSTA 2002 Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 25\u201336 (March 2009)","DOI":"10.1145\/1508244.1508249"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R., Harrold, M.: Falcon: Fault Localization in Concurrent Programs. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, pp. 245\u2013254 (2010)","DOI":"10.1145\/1806799.1806838"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Hammer, C., Dolby, J., Vaziri, M., Tip. Dynamic, F.: detection of atomic-set-serializability violations. In: ACM\/IEEE 30th International Conference on Proceedings of the ICSE 2008, pp. 231\u2013240 (May 2008)","DOI":"10.1145\/1368088.1368120"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Lai, Z., Cheung, S., Chan, W.: Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, pp. 235\u2013244 (2010)","DOI":"10.1145\/1806799.1806836"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: Proceedings of the Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 334\u2013345 (2006)","DOI":"10.1145\/1111320.1111067"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Sen, K.: Race Directed Random Testing of Concurrent Programs. In: Proceedings of PLDI 2008, pp. 11\u201321 (2008)","DOI":"10.1145\/1375581.1375584"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10009-009-0102-9","volume":"12","author":"R.H. Carver","year":"2010","unstructured":"Carver, R.H., Lei, Y.: A Class Library for Implementing, Testing, and Debugging Concurrent Programs. Int. Journal on Software Tools for Tech. Transfer\u00a012(1), 69\u201388 (2010)","journal-title":"Int. Journal on Software Tools for Tech. Transfer"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. In: POPL, pp. 256\u2013267 (2003)","DOI":"10.1145\/982962.964023"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Static analysis for programs with non-blocking synchronization. In: PPoPP (2005)","DOI":"10.1145\/1065944.1065953"},{"issue":"4","key":"9_CR13","doi-asserted-by":"publisher","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.: Eraser: a dynamic data race detector for multithreaded programs. Trans. Comput. Syst.\u00a015(4), 391\u2013411 (1997)","journal-title":"Trans. Comput. Syst."},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M. Ronsse","year":"1999","unstructured":"Ronsse, M., Bosschere, K.D.: RecPlay: a fully integrated practical record\/replay system. Trans. Comput. Syst.\u00a017(2), 133\u2013152 (1999)","journal-title":"Trans. Comput. Syst."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: PLDI, pp. 446\u2013455 (June 2007)","DOI":"10.1145\/1273442.1250785"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for java. In: PLDI, pp. 219\u2013232 (June 2000)","DOI":"10.1145\/358438.349328"},{"key":"9_CR17","unstructured":"Godefroid, P., Nagappan, N.: Concurrency at Microsoft: An exploratory survey. In: Workshop on Exploiting Concurrency Efficiently and Correctly (2008)"},{"key":"9_CR18","unstructured":"Poulsen, K.: Tracking the blackout bug. SecurityFocus (February 2004), \n                    \n                      http:\/\/www.securityfocus.com\/news\/8412"},{"issue":"3","key":"9_CR19","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/cpe.1068","volume":"19","author":"Y. Eytani","year":"2007","unstructured":"Eytani, Y., Havelund, K., Stoller, S.D., Ur, S.: Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurr. Comput.: Pract.Exper.\u00a019(3), 267\u2013279 (2007)","journal-title":"Concurr. Comput. : Pract.Exper."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Artho, C., Havelundand, K., Biere, A.: A high-level data race. Journal on Software Testing, Verification & Reliability (2003)","DOI":"10.1002\/stvr.281"},{"key":"9_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P. Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Shi, Y., Park, S., Yin, Z., Lu, S.: Do I use the wrong definition DeFuse definition-use invariants for detecting concurrency and sequential bugs. In: Proceedings of the OOPSLA, pp. 160\u2013174 (2010)","DOI":"10.1145\/1932682.1869474"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Narayanasamy, S., Wang, Z., Tigani, J.: Automatically classifying benign and harmful data races using replay analysis. In: Proceedings of the PLDI 2007 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 22\u201331 (2007)","DOI":"10.1145\/1250734.1250738"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2006) (2006)","DOI":"10.1145\/1122971.1122993"}],"container-title":["Lecture Notes in Computer Science","Multicore Software Engineering, Performance, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39955-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T14:50:54Z","timestamp":1558104654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39955-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399541","9783642399558"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39955-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}