{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T17:10:05Z","timestamp":1750612205901,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T00:00:00Z","timestamp":1499904000000},"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":[[2017,7,13]]},"DOI":"10.1145\/3092282.3092293","type":"proceedings-article","created":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T13:45:49Z","timestamp":1499953549000},"page":"182-191","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Optimizing parallel Korat using invalid ranges"],"prefix":"10.1145","author":[{"given":"Nima","family":"Dini","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Cagdas","family":"Yelen","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/1099-1689(200009)10:3<149::AID-STVR206>3.0.CO;2-T"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393664"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_2"},{"key":"e_1_3_2_1_6_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Jr., Orna Grumberg , and Doron A . Peled . 1999 . Model Checking. MIT Press , Cambridge, MA, USA. Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 1999. Model Checking. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_7_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Clifford Stein . 2009. Introduction to Algorithms , Third Edition (3 rd ed.). The MIT Press , Cambridge, MA, USA . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms, Third Edition (3rd ed.). The MIT Press, Cambridge, MA, USA.","edition":"3"},{"key":"e_1_3_2_1_8_1","unstructured":"Nima Dini. 2016. MKorat: A Novel Approach for Memoizing the Korat Search and Some Potential Applications. Nima Dini. 2016. MKorat: A Novel Approach for Memoizing the Korat Search and Some Potential Applications."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.62"},{"key":"e_1_3_2_1_10_1","volume-title":"An Extensible SAT-solver. In 6th Conference on Theory and Applications of Satisfiability Testing (SAT). Santa Margherita Ligure, Italy.","author":"Een Niklas","year":"2003","unstructured":"Niklas Een and Niklas Sorensson . 2003 . An Extensible SAT-solver. In 6th Conference on Theory and Applications of Satisfiability Testing (SAT). Santa Margherita Ligure, Italy. Niklas Een and Niklas Sorensson. 2003. An Extensible SAT-solver. In 6th Conference on Theory and Applications of Satisfiability Testing (SAT). Santa Margherita Ligure, Italy."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_15"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382799"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"volume-title":"Conference on Software Maintenance.","author":"Harrold M.J.","key":"e_1_3_2_1_17_1","unstructured":"M.J. Harrold and M.L. Souffa . 1988. An incremental approach to unit testing during maintenance . In Conference on Software Maintenance. M.J. Harrold and M.L. Souffa. 1988. An incremental approach to unit testing during maintenance. In Conference on Software Maintenance."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.110"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.383378"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_23_1","unstructured":"KoratWebPage. Korat Home Page. http:\/\/korat.sourceforge.net\/index.html. KoratWebPage. Korat Home Page. http:\/\/korat.sourceforge.net\/index.html."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_39"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368128"},{"volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"Liskov Barbara","key":"e_1_3_2_1_26_1","unstructured":"Barbara Liskov and John Guttag . 2000. Program Development in Java: Abstraction, Specification, and Object-Oriented Design . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA . Barbara Liskov and John Guttag. 2000. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA."},{"key":"e_1_3_2_1_27_1","volume-title":"TestEra: A Novel Framework for Automated Testing of Java Programs. In 16th IEEE International Conference on Automated Software Engineering (ASE \u201901)","author":"Marinov Darko","year":"2001","unstructured":"Darko Marinov and Sarfraz Khurshid . 2001 . TestEra: A Novel Framework for Automated Testing of Java Programs. In 16th IEEE International Conference on Automated Software Engineering (ASE \u201901) . IEEE Computer Society, Washington, DC, USA, 22\u201331. Darko Marinov and Sarfraz Khurshid. 2001. TestEra: A Novel Framework for Automated Testing of Java Programs. In 16th IEEE International Conference on Automated Software Engineering (ASE \u201901). IEEE Computer Society, Washington, DC, USA, 22\u201331."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287645"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.48"},{"volume-title":"2nd International Conference on Software Technology and Engineering. V1\u2013405\u2013V1\u2013 409","author":"Siddiqui J. H.","key":"e_1_3_2_1_31_1","unstructured":"J. H. Siddiqui and S. Khurshid . 2010. ParSym: Parallel symbolic execution . In 2nd International Conference on Software Technology and Engineering. V1\u2013405\u2013V1\u2013 409 . J. H. Siddiqui and S. Khurshid. 2010. ParSym: Parallel symbolic execution. In 2nd International Conference on Software Technology and Engineering. V1\u2013405\u2013V1\u2013 409."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384654"},{"volume-title":"International Conference on Computer Aided Verification.","author":"Sokolsky O.","key":"e_1_3_2_1_33_1","unstructured":"O. Sokolsky and S. A. Smolka . 1994. Incremental model checking in the modal mu-calculus . In International Conference on Computer Aided Verification. O. Sokolsky and S. A. Smolka. 1994. Incremental model checking in the modal mu-calculus. In International Conference on Computer Aided Verification."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831732"},{"volume-title":"Proceedings of the 9th International Conference on Computer Aided Verification (CAV \u201997)","author":"Stern Ulrich","key":"e_1_3_2_1_35_1","unstructured":"Ulrich Stern and David L. Dill . 1997. Parallelizing the Murphi Verifier . In Proceedings of the 9th International Conference on Computer Aided Verification (CAV \u201997) . Springer-Verlag, London, UK, UK, 256\u2013278. Ulrich Stern and David L. Dill. 1997. Parallelizing the Murphi Verifier. In Proceedings of the 9th International Conference on Computer Aided Verification (CAV \u201997). Springer-Verlag, London, UK, UK, 256\u2013278."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393665"},{"key":"e_1_3_2_1_38_1","volume-title":"Model Checking Programs. In The Fifteenth IEEE International Conference on Automated Software Engineering, ASE,Grenoble, France (ASE \u201900)","author":"Visser Willem","year":"2000","unstructured":"Willem Visser , Klaus Havelund , Guillaume P. Brat , and Seungjoon Park . 2000 . Model Checking Programs. In The Fifteenth IEEE International Conference on Automated Software Engineering, ASE,Grenoble, France (ASE \u201900) . IEEE Computer Society, Washington, DC, USA, 3\u201312. Willem Visser, Klaus Havelund, Guillaume P. Brat, and Seungjoon Park. 2000. Model Checking Programs. In The Fifteenth IEEE International Conference on Automated Software Engineering, ASE,Grenoble, France (ASE \u201900). IEEE Computer Society, Washington, DC, USA, 3\u201312."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"G. Yang M. B. Dwyer and G. Rothermel. 2009. Regression model checking. In ICSM. 115\u2013124. G. Yang M. B. Dwyer and G. Rothermel. 2009. Regression model checking. In ICSM. 115\u2013124.","DOI":"10.1109\/ICSM.2009.5306334"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Barbara CA USA","acronym":"ISSTA '17"},"container-title":["Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092293","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092282.3092293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T16:40:49Z","timestamp":1750610449000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,13]]},"references-count":37,"alternative-id":["10.1145\/3092282.3092293","10.1145\/3092282"],"URL":"https:\/\/doi.org\/10.1145\/3092282.3092293","relation":{},"subject":[],"published":{"date-parts":[[2017,7,13]]},"assertion":[{"value":"2017-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}