{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:53:22Z","timestamp":1730328802517,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1145\/566172.566211","type":"proceedings-article","created":{"date-parts":[[2004,4,19]],"date-time":"2004-04-19T17:18:43Z","timestamp":1082395123000},"page":"210-220","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":61,"title":["Isolating failure-inducing thread schedules"],"prefix":"10.1145","author":[{"given":"Jong-Deok","family":"Choi","sequence":"first","affiliation":[{"name":"IBM T. J. Watson Research Center, Yorktown Heights, NY"}]},{"given":"Andreas","family":"Zeller","sequence":"additional","affiliation":[{"name":"Universit\u00e4t des Saarlandes, Lehrstuhl f\u00fcr Softwaretechnik, Postfach 15 11 50, 66041 Saarbr\u00fccken, Germany"}]}],"member":"320","published-online":{"date-parts":[[2002,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0211"},{"volume-title":"Proceedings of the 15th IEEE International Parallel & Distributed Processing Symposium","year":"2001","author":"Choi J.-D.","key":"e_1_3_2_1_2_1","unstructured":"J.-D. Choi , B. Alpern , T. Ngo , M. Sridharan , and J. Vlissides . A perturbation-free replay platform for cross-optimized multithreaded applications . In Proceedings of the 15th IEEE International Parallel & Distributed Processing Symposium , April 2001 . J.-D. Choi, B. Alpern, T. Ngo, M. Sridharan, and J. Vlissides. A perturbation-free replay platform for cross-optimized multithreaded applications. In Proceedings of the 15th IEEE International Parallel & Distributed Processing Symposium, April 2001."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.489078"},{"key":"e_1_3_2_1_5_1","unstructured":"Delta debugging web site. http:\/\/www.st.cs.uni-sb.de\/dd\/. Delta debugging web site. http:\/\/www.st.cs.uni-sb.de\/dd\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Dejavu web site. http:\/\/www.research.ibm.com\/jalapeno\/dejavu\/. Dejavu web site. http:\/\/www.research.ibm.com\/jalapeno\/dejavu\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672085"},{"key":"e_1_3_2_1_9_1","first-page":"13210","article-title":"Test Methods for Measuring Conformance to POSIX, 1991","volume":"3","author":"New York IEEE","unstructured":"IEEE , New York . Test Methods for Measuring Conformance to POSIX, 1991 . ANSI\/IEEE Standard 1003. 3-1991 . ISO\/IEC Standard 13210 - 11994 . IEEE, New York. Test Methods for Measuring Conformance to POSIX, 1991. ANSI\/IEEE Standard 1003.3-1991. ISO\/IEC Standard 13210-1994.","journal-title":"ANSI\/IEEE Standard 1003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277638"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/155332.155346"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288213"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.319252"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349241"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_17_1","unstructured":"Standard Performance Evaluation Corporation (SPEC) Warrenton Virginia. JVM98 Benchmarks 1.03 edition 1999. Standard Performance Evaluation Corporation (SPEC) Warrenton Virginia. JVM98 Benchmarks 1.03 edition 1999."},{"key":"e_1_3_2_1_18_1","first-page":"97","volume-title":"USENIX Winter Technical Conference","author":"Sterling N.","year":"1993","unstructured":"N. Sterling . Warlock : A static data race analysis tool . In USENIX Winter Technical Conference , pages 97 - 106 , 1993 . N. Sterling. Warlock: A static data race analysis tool. In USENIX Winter Technical Conference, pages 97-106, 1993."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54005"},{"volume-title":"FR Informatik","year":"2002","author":"Zeller A.","key":"e_1_3_2_1_20_1","unstructured":"A. Zeller . Isolating cause-effect chains from computer programs. Technical report, Universit\u00e4t des Saarlandes , FR Informatik , Mar. 2002 . Submitted for publication; available online {5}. A. Zeller. Isolating cause-effect chains from computer programs. Technical report, Universit\u00e4t des Saarlandes, FR Informatik, Mar. 2002. Submitted for publication; available online {5}."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"ISSTA02: International Symposium on Software Testing and Analysis ( co-located with WOSP 2002)","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Roma Italy","acronym":"ISSTA02"},"container-title":["Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/566172.566211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T15:48:55Z","timestamp":1693842535000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/566172.566211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":21,"alternative-id":["10.1145\/566172.566211","10.1145\/566172"],"URL":"https:\/\/doi.org\/10.1145\/566172.566211","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/566171.566211","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2002,7]]},"assertion":[{"value":"2002-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
