{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:44:14Z","timestamp":1767339854856,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T00:00:00Z","timestamp":1189123200000},"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,9,7]]},"DOI":"10.1145\/1287624.1287645","type":"proceedings-article","created":{"date-parts":[[2007,9,26]],"date-time":"2007-09-26T17:32:33Z","timestamp":1190827953000},"page":"135-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["Parallel test generation and execution with Korat"],"prefix":"10.1145","author":[{"given":"Sasa","family":"Misailovic","sequence":"first","affiliation":[{"name":"University of Belgrade, Belgrade, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandar","family":"Milicevic","sequence":"additional","affiliation":[{"name":"University of Belgrade, Belgrade, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nemanja","family":"Petrovic","sequence":"additional","affiliation":[{"name":"Google: Inc., New York, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514102"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/3106091.3106106"},{"key":"e_1_3_2_1_3_1","volume-title":"Software Testing Techniques","author":"Beizer B.","year":"1990","unstructured":"B. Beizer . Software Testing Techniques . International Thomson Computer Press , 1990 . B. Beizer. Software Testing Techniques. International Thomson Computer Press, 1990."},{"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.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/3087368.3087386"},{"key":"e_1_3_2_1_7_1","volume-title":"Sixth Symposium on Operating System Design and Implementation","author":"Dean J.","year":"2004","unstructured":"J. Dean and S. Ghemawat . MapReduce: Simplified data processing on large clusters . In Sixth Symposium on Operating System Design and Implementation , San Francisco, CA , Dec. 2004 . J. Dean and S. Ghemawat. MapReduce: Simplified data processing on large clusters. In Sixth Symposium on Operating System Design and Implementation, San Francisco, CA, Dec. 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.62"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945450"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271790"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.755612"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/356651.356652"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872566"},{"key":"e_1_3_2_1_15_1","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"Jackson D.","year":"2006","unstructured":"D. Jackson . Software Abstractions: Logic, Language and Analysis . The MIT Press , Cambridge, MA , 2006 . D. Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.9745"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2932439.2932563"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/174130.174145"},{"key":"e_1_3_2_1_20_1","volume-title":"Electronic Notes in Theoretical Computer Science (ENTCS)","author":"Khurshid S.","year":"2001","unstructured":"S. Khurshid and D. Marinov . Checking Java implementation of a naming architecture using TestEra . In S. D. Stoller and W. Visser, editors, Electronic Notes in Theoretical Computer Science (ENTCS) , volume 55 . Elsevier Science Publishers , 2001 . S. Khurshid and D. Marinov. Checking Java implementation of a naming architecture using TestEra. In S. D. Stoller and W. Visser, editors, Electronic Notes in Theoretical Computer Science (ENTCS), volume 55. Elsevier Science Publishers, 2001."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003","author":"Khurshid S.","year":"2003","unstructured":"S. Khurshid , D. Marinov , I. Shlyakhter , and D. Jackson . A case for efficient solution enumeration . In Proc. of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003 ), Santa Margherita Ligure, Italy , May 2003 . S. Khurshid, D. Marinov, I. Shlyakhter, and D. Jackson. A case for efficient solution enumeration. In Proc. of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), Santa Margherita Ligure, Italy, May 2003."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226319"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.016"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/645879.672058"},{"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","volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"Liskov B.","year":"2000","unstructured":"B. Liskov and J. Guttag . Program Development in Java: Abstraction, Specification, and Object-Oriented Design . Addison-Wesley , 2000 . B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000."},{"issue":"30","key":"e_1_3_2_1_31_1","first-page":"45","article-title":"Practical graph isomorphism","volume":"1","author":"McKay B. D.","year":"1981","unstructured":"B. D. McKay . Practical graph isomorphism . Congressus Numerantium , 1 ( 30 ): 45 -- 87 , 1981 . http:\/\/cs.anu.edu.au\/~bdm\/nauty\/. B. D. McKay. Practical graph isomorphism. Congressus Numerantium, 1(30):45--87, 1981. http:\/\/cs.anu.edu.au\/~bdm\/nauty\/.","journal-title":"Congressus Numerantium"},{"issue":"1","key":"e_1_3_2_1_32_1","article-title":"Differential testing for software","volume":"10","author":"McKeeman W. M.","year":"1998","unstructured":"W. M. McKeeman . Differential testing for software . Digital Technical Journal , 10 ( 1 ), 1998 . W. M. McKeeman. Differential testing for software. Digital Technical Journal, 10(1), 1998.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.48"},{"key":"e_1_3_2_1_34_1","volume-title":"the Workshop on Advances and Innovations in Systems Testing (STEP 2007","author":"Misailovic S.","year":"2007","unstructured":"S. Misailovic , A. Milicevic , S. Khurshid , and D. Marinov . Generating test inputs for fault-tree analyzers using imperative predicates . In the Workshop on Advances and Innovations in Systems Testing (STEP 2007 ), Memphis, TN , May 2007 . S. Misailovic, A. Milicevic, S. Khurshid, and D. Marinov. Generating test inputs for fault-tree analyzers using imperative predicates. In the Workshop on Advances and Innovations in Systems Testing (STEP 2007), Memphis, TN, May 2007."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/646220.682205"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233835"},{"issue":"2","key":"e_1_3_2_1_37_1","article-title":"The encyclopedia of integer sequences","volume":"38","author":"Sloane N. J. A.","year":"1996","unstructured":"N. J. A. Sloane , S. Plouffe , J. M. Borwein , and R. M. Corless . The encyclopedia of integer sequences . SIAM Review , 38 ( 2 ), 1996 . http:\/\/www.research.att.com\/~njas\/sequences\/Seis.html. N. J. A. Sloane, S. Plouffe, J. M. Borwein, and R. M. Corless. The encyclopedia of integer sequences. SIAM Review, 38(2), 1996. http:\/\/www.research.att.com\/~njas\/sequences\/Seis.html.","journal-title":"SIAM Review"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.736020"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008771324652"},{"key":"e_1_3_2_1_40_1","volume-title":"model based test generation, and Abstract state machine Language (AsmL)","author":"Stobie K.","year":"2003","unstructured":"K. Stobie . Advanced modeling , model based test generation, and Abstract state machine Language (AsmL) . Seattle Area Software Quality Assurance Group , http:\/\/www.sasqag.org\/pastmeetings\/asml.ppt, Jan. 2003 . K. Stobie. Advanced modeling, model based test generation, and Abstract state machine Language (AsmL). Seattle Area Software Quality Assurance Group, http:\/\/www.sasqag.org\/pastmeetings\/asml.ppt, Jan. 2003."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007531"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081751"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/786768.786967"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234485"},{"key":"e_1_3_2_1_46_1","volume-title":"Proc. of the 19th IEEE International Conference on Automated Software Engineering","author":"Xie T.","year":"2004","unstructured":"T. Xie , D. Marinov , and D. Notkin . Rostra: A framework for detecting redundant object-oriented unit tests . In Proc. of the 19th IEEE International Conference on Automated Software Engineering , Sept. 2004 . T. Xie, D. Marinov, and D. Notkin. Rostra: A framework for detecting redundant object-oriented unit tests. In Proc. of the 19th IEEE International Conference on Automated Software Engineering, Sept. 2004."}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07"},"container-title":["Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1287624.1287645","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1287624.1287645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:50Z","timestamp":1750258670000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1287624.1287645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,7]]},"references-count":43,"alternative-id":["10.1145\/1287624.1287645","10.1145\/1287624"],"URL":"https:\/\/doi.org\/10.1145\/1287624.1287645","relation":{},"subject":[],"published":{"date-parts":[[2007,9,7]]},"assertion":[{"value":"2007-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}