{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:33:33Z","timestamp":1773192813144,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"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.1273472","type":"proceedings-article","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T02:57:04Z","timestamp":1270609024000},"page":"50-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Delta execution for efficient state-space exploration of object-oriented programs"],"prefix":"10.1145","author":[{"given":"Marcelo","family":"d'Amorim","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Lauterburg","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"CAV","author":"Andrews T.","year":"2004","unstructured":"T. Andrews , S. Qadeer , S. K. Rajamani , J. Rehof , and Y. Xie . Zing: A model checker for concurrent software . In CAV , 2004 . T. Andrews, S. Qadeer, S. K. Rajamani, J. Rehof, and Y. Xie. Zing: A model checker for concurrent software. In CAV, 2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672077"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . The MIT Press , Cambridge, MA , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, MA, 1999."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_10_1","unstructured":"Daisy File System. Joint CAV\/ISSTA Special Event on Specification Verification and Testing of Concurrent Software.  Daisy File System. Joint CAV\/ISSTA Special Event on Specification Verification and Testing of Concurrent Software."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.13"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_30"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167504"},{"key":"e_1_3_2_1_15_1","unstructured":"Eclipse foundation. http:\/\/www.eclipse.org\/.  Eclipse foundation. http:\/\/www.eclipse.org\/."},{"key":"e_1_3_2_1_16_1","unstructured":"Foundations of Software Engineering at Microsoft Research. The AsmL test generator tool. http:\/\/research.microsoft.com\/fse\/AsmL.  Foundations of Software Engineering at Microsoft Research. The AsmL test generator tool. http:\/\/research.microsoft.com\/fse\/AsmL."},{"key":"e_1_3_2_1_17_1","volume-title":"Essentials of Programming Languages","author":"Friedman D. P.","year":"2001","unstructured":"D. P. Friedman , M. Wand , and C. T. Haynes . Essentials of Programming Languages . MIT Press , 2001 . D. P. Friedman, M. Wand, and C. T. Haynes. Essentials of Programming Languages. MIT Press, 2001."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"issue":"4","key":"e_1_3_2_1_20_1","volume":"2","author":"Havelund K.","year":"2000","unstructured":"K. Havelund and T. Pressburger . Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer , 2 ( 4 ), 2000 . K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 2(4), 2000.","journal-title":"Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872566"},{"key":"e_1_3_2_1_23_1","unstructured":"J-Sim. http:\/\/www.j-sim.org\/.  J-Sim. http:\/\/www.j-sim.org\/."},{"key":"e_1_3_2_1_24_1","volume-title":"LICS","author":"Burch J. R.","year":"1990","unstructured":"J. R. Burch , E. M. Clarke , K. L. McMillan , D. L. Dill , and L. J. Hwang . Symbolic Model Checking: 1020 States and Beyond . In LICS , 1990 . J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic Model Checking: 1020 States and Beyond. In LICS, 1990."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503276"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380931"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996861"},{"key":"e_1_3_2_1_29_1","unstructured":"P. C. Mehlitz W. Visser and J. Penix. The JPF runtime verification system. http:\/\/javapathfinder.sourceforge.net\/JPF.pdf.  P. C. Mehlitz W. Visser and J. Penix. The JPF runtime verification system. http:\/\/javapathfinder.sourceforge.net\/JPF.pdf."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_6"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060297"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199902)29:2%3C167::AID-SPE225%3E3.3.CO;2-M"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_22"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/520551.837511"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940107"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27864-1_18"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_17"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/647276.722311"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101983"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.61"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_24"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_39"},{"key":"e_1_3_2_1_47_1","volume-title":"Delta execution for software reliability. To appear in HotDep","author":"Zhou Y.","year":"2007","unstructured":"Y. Zhou , D. Marinov , W. Sanders , C. Zilles , M. d' Amorim , S. Lauterburg , R. M. Lefever , and J. Tucek . Delta execution for software reliability. To appear in HotDep , 2007 . Y. Zhou, D. Marinov, W. Sanders, C. Zilles, M. d'Amorim, S. Lauterburg, R. M. Lefever, and J. Tucek. Delta execution for software reliability. To appear in HotDep, 2007."}],"event":{"name":"ISSTA07: International Symposium on Software Testing and Analysis","location":"London United Kingdom","acronym":"ISSTA07","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"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.1273472","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273463.1273472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:52Z","timestamp":1750258072000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273463.1273472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,9]]},"references-count":46,"alternative-id":["10.1145\/1273463.1273472","10.1145\/1273463"],"URL":"https:\/\/doi.org\/10.1145\/1273463.1273472","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"}}]}}