{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:10Z","timestamp":1750307710094,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T00:00:00Z","timestamp":1232323200000},"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":[[2009,1,19]]},"DOI":"10.1145\/1480945.1480950","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T14:41:38Z","timestamp":1232462498000},"page":"21-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Guided model checking for programs with polymorphism"],"prefix":"10.1145","author":[{"given":"Neha","family":"Rungta","sequence":"first","affiliation":[{"name":"Brigham Young University, Provo, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric G.","family":"Mercer","sequence":"additional","affiliation":[{"name":"Brigham Young University, Provo, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/872024.872575"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236371"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"T.\n       \n      Ball\n     and \n      \n      \n      S.\n       \n      Rajamani\n      \n  \n  . \n  The SLAM toolkit. In G. Berry H. Comon and A. Finkel editors 13th Annual Conference on Computer Aided Verification (CAV\n   \n  2001\n  ) volume \n  2102\n   of \n  Lecture Notes in Computer Science pages \n  260\n  --\n  264 Paris France July 2001. \n  Springer-Verlag\n  .   T. Ball and S. Rajamani. The SLAM toolkit. In G. Berry H. Comon and A. Finkel editors 13th Annual Conference on Computer Aided Verification (CAV 2001) volume 2102 of Lecture Notes in Computer Science pages 260--264 Paris France July 2001. Springer-Verlag.","DOI":"10.1007\/3-540-44585-4_25"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"e_1_3_2_1_5_1","first-page":"37","volume-title":"International Conference on Software Engineering","author":"Cobleigh J. M.","year":"2001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181787"},{"key":"e_1_3_2_1_7_1","first-page":"69","volume-title":"Workshop on Model Checking and Artificial Intelligence (MoChArt)","author":"Edelkamp S.","year":"2003"},{"key":"e_1_3_2_1_8_1","volume-title":"Electronic Notes in Theoretical Computer Science","volume":"55","author":"Edelkamp S.","year":"2001"},{"volume-title":"Proceedings of the 7th International SPIN Workshop, number 2057 in Lecture Notes in Computer Science","year":"2001","author":"Edelkamp S.","key":"e_1_3_2_1_9_1"},{"first-page":"286","volume-title":"IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing","author":"Farchi E.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566175"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/872024.872576"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672085"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"T. A.\n       \n      Henzinger R.\n       \n      Jhala R.\n       \n      Majumdar and \n      \n      \n      G.\n       \n      Sutre\n      \n  \n  . \n  Software verification with Blast. In T. Ball and S.K.Rajamani editors Proceedings of the 10th International Workshop on Model Checking of Software (SPIN) volume \n  2648\n   of \n  Lecture Notes in Computer Science pages \n  235\n  --\n  239 Portland OR May \n  2003\n  .   T. A. Henzinger R. Jhala R. Majumdar and G. Sutre. Software verification with Blast. In T. Ball and S.K.Rajamani editors Proceedings of the 10th International Workshop on Model Checking of Software (SPIN) volume 2648 of Lecture Notes in Computer Science pages 235--239 Portland OR May 2003.","DOI":"10.1007\/3-540-44829-2_17"},{"volume-title":"Addison-Wesley","year":"2003","author":"Holzmann G. J.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147097"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278498"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940107"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101982"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01702-5_8"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2007.23"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770532.1770539"},{"key":"e_1_3_2_1_25_1","unstructured":"S.J. Russell P. Norvig J.F. Canny J. Malik and D.D. Edwards. Artificial intelligence: a modern approach. Prentice Hall Englewood Cliffs NJ 1995.   S.J. Russell P. Norvig J.F. Canny J. Malik and D.D. Edwards. Artificial intelligence: a modern approach. Prentice Hall Englewood Cliffs NJ 1995."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763218.1763234"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"issue":"1","key":"e_1_3_2_1_28_1","first-page":"111","article-title":"Guided model checking with a bayesian meta-heuristic","volume":"70","author":"Seppi K.","year":"2006","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029922"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277201"}],"event":{"name":"PEPM '09: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Savannah GA USA","acronym":"PEPM '09"},"container-title":["Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480950","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480945.1480950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:09Z","timestamp":1750253409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480950"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,19]]},"references-count":31,"alternative-id":["10.1145\/1480945.1480950","10.1145\/1480945"],"URL":"https:\/\/doi.org\/10.1145\/1480945.1480950","relation":{},"subject":[],"published":{"date-parts":[[2009,1,19]]},"assertion":[{"value":"2009-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}