{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:33Z","timestamp":1750307913079,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,9]],"date-time":"2007-07-09T00:00:00Z","timestamp":1183939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,9]]},"DOI":"10.1145\/1273463.1273491","type":"proceedings-article","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T02:57:04Z","timestamp":1270609024000},"page":"207-218","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Enabling tracing Of long-running multithreaded programs via dynamic execution reduction"],"prefix":"10.1145","author":[{"given":"Sriraman","family":"Tallam","sequence":"first","affiliation":[{"name":"University of Arizona"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Tian","sequence":"additional","affiliation":[{"name":"University of Arizona"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajiv","family":"Gupta","sequence":"additional","affiliation":[{"name":"University of Arizona"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"www.mysql.org  www.mysql.org"},{"key":"e_1_3_2_1_2_1","unstructured":"http:\/\/bugs.mysql.com\/bug.php?id=110  http:\/\/bugs.mysql.com\/bug.php?id=110"},{"key":"e_1_3_2_1_3_1","unstructured":"http:\/\/bugs.mysql.com\/bug.php?id=169  http:\/\/bugs.mysql.com\/bug.php?id=169"},{"key":"e_1_3_2_1_4_1","unstructured":"http:\/\/bugs.mysql.com - Change Log  http:\/\/bugs.mysql.com - Change Log"},{"key":"e_1_3_2_1_5_1","unstructured":"http:\/\/www.securityfocus.com\/bid\/12635  http:\/\/www.securityfocus.com\/bid\/12635"},{"key":"e_1_3_2_1_6_1","unstructured":"http:\/\/prozilla.genesys.ro\/?p=news  http:\/\/prozilla.genesys.ro\/?p=news"},{"key":"e_1_3_2_1_7_1","unstructured":"http:\/\/www.securityfocus.com\/bid\/13059  http:\/\/www.securityfocus.com\/bid\/13059"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1220164"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101948"},{"key":"e_1_3_2_1_10_1","volume-title":"Toulouse","author":"Gyimothy T.","year":"1999","unstructured":"T. Gyimothy , A. Beszedes , I. Forgacs , \"An efficient relevant slicing method for debugging,\" 7th European Software Engineering Conference\/ 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering , Toulouse , France , 1999 . T. Gyimothy, A. Beszedes, I. Forgacs, \"An efficient relevant slicing method for debugging,\" 7th European Software Engineering Conference\/ 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Toulouse, France, 1999."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_3_2_1_12_1","volume-title":"Workshop on the Evaluation of Software Defect Detection Tools","author":"Lu S.","year":"2005","unstructured":"S. Lu , Z. Li , F. Qin , L. Tan , P. Zhou , and Y. Zhou , \" BugBench: a benchmark for evaluating bug detection tools \", Workshop on the Evaluation of Software Defect Detection Tools , 2005 . S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou, \"BugBench: a benchmark for evaluating bug detection tools\", Workshop on the Evaluation of Software Defect Detection Tools, 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.16"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168886"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178477"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/68210.69227"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_1_18_1","first-page":"303","volume-title":"California","author":"Rinard M. C.","year":"2004","unstructured":"M. C. Rinard , C. Cadar , D. Dumitran , D. M. Roy , T. Leu , and W. S. Beebee , \" Enhancing Server Availability and Security Through Failure-Oblivious Computing\", the Sixth Symposium on Operating System Design and Implementation San Francisco , California , pages 303 -- 316 , 2004 M. C. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee, \"Enhancing Server Availability and Security Through Failure-Oblivious Computing\", the Sixth Symposium on Operating System Design and Implementation San Francisco, California, pages 303--316, 2004"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903895"},{"key":"e_1_3_2_1_20_1","volume-title":"Fourth Workshop on Automated and Analysis-Driven Debugging","author":"Ronsse M.","year":"2000","unstructured":"M. Ronsse , K. De Bosschere , and J. C. de Kergommeaux , \"Execution replay and debugging \", Fourth Workshop on Automated and Analysis-Driven Debugging , Munich, Germany , August 2000 . M. Ronsse, K. De Bosschere, and J. C. de Kergommeaux, \"Execution replay and debugging\", Fourth Workshop on Automated and Analysis-Driven Debugging, Munich, Germany, August 2000."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301645"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085139"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/379539.379553"},{"key":"e_1_3_2_1_24_1","unstructured":"J. Seward et al. \"Valgrind: A GPL'd system for debugging and profiling x86-linux programs\" http:\/\/valgrind.ked.org\/ 2004.  J. Seward et al. \"Valgrind: A GPL'd system for debugging and profiling x86-linux programs\" http:\/\/valgrind.ked.org\/ 2004."},{"key":"e_1_3_2_1_25_1","volume-title":"USENIX Annual Technical Conference","author":"Srinivasan S. M.","year":"1994","unstructured":"S. M. Srinivasan , S. Kandula , C. R. Andrews , and Y. Zhou , \" Flashback: a lightweight extension for rollback and deterministic replay for software debugging \", USENIX Annual Technical Conference , Boston, MA, USA , June 1994 . S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou, \"Flashback: a lightweight extension for rollback and deterministic replay for software debugging\", USENIX Annual Technical Conference, Boston, MA, USA, June 1994."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/68210.69221"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168865"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.37"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181786"}],"event":{"name":"ISSTA07: International Symposium on Software Testing and Analysis","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London United Kingdom","acronym":"ISSTA07"},"container-title":["Proceedings of the 2007 international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273463.1273491","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273463.1273491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:53Z","timestamp":1750258073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273463.1273491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,9]]},"references-count":30,"alternative-id":["10.1145\/1273463.1273491","10.1145\/1273463"],"URL":"https:\/\/doi.org\/10.1145\/1273463.1273491","relation":{},"subject":[],"published":{"date-parts":[[2007,7,9]]},"assertion":[{"value":"2007-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}