{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T19:24:20Z","timestamp":1787081060835,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,10,24]],"date-time":"2004-10-24T00:00:00Z","timestamp":1098576000000},"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":[[2004,10,24]]},"DOI":"10.1145\/1066129.1066147","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"88-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Supporting model checking education using BOGOR\/Eclipse"],"prefix":"10.1145","author":[{"given":"Matthew B.","family":"Dwyer","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John Hatcliff","family":"Robby","sequence":"additional","affiliation":[{"name":"Kansas State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Hoosier","sequence":"additional","affiliation":[{"name":"Kansas State University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2004,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/332656"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/645343.650326"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908961"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767111.1767122"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776836"},{"key":"e_1_3_2_1_6_1","volume-title":"July","author":"Brat G.","year":"2000","unstructured":"G. Brat, K. Havelund, S. Park, and W. Visser, \"Java PathFinder -- a second generation of a Java model-checker,\" in Proceedings of the Workshop on Advances in Verification, July 2000.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645879.672057"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","unstructured":"Robby M. B. Dwyer and J. Hatcliff \"Bogor: An extensible and highly-modular model checking framework \" in Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering pp. 267--276 2003.]] 10.1145\/940071.940107","DOI":"10.1145\/940071.940107"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"R. Iosif \"Symmetry reduction criteria for software model checking \" in Proceedings of Ninth International SPIN Workshop vol. 2318 of Lecture Notes in Computer Science pp. 22--41 Springer-Verlag Apr. 2002.]]","DOI":"10.5555\/645881.672231"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090200074"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"W. Deng M. Dwyer J. Hatcliff G. Jung and Robby \"Model-checking middleware-based event-driven real-time embedded software \" in Proceedings of the 1st International Symposium on Formal Methods for Component and Objects pp. 154--181 2002.]]","DOI":"10.1007\/978-3-540-39656-7_6"},{"key":"e_1_3_2_1_14_1","volume-title":"Space reductions for model checking quasi-cyclic systems,\" in Proceedings of the Third International Conference on Embedded Software","author":"Dwyer M. B.","year":"2003","unstructured":"M. B. Dwyer, Robby, X. Deng, and J. Hatcliff, \"Space reductions for model checking quasi-cyclic systems,\" in Proceedings of the Third International Conference on Embedded Software, 2003.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Robby E. Rodr\u00edguez M. B. Dwyer and J. Hatcliff \"Checking strong specifications using an extensible software model checking framework \" in Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems vol. 2988 of Lecture Notes in Computer Science pp. 404--420 Mar. 2004.]]","DOI":"10.1007\/978-3-540-24730-2_31"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.11"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/248521"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/186897"},{"key":"e_1_3_2_1_19_1","volume-title":"Secure and Interoperable Smart Devices","author":"Rodr\u00edguez E.","year":"2004","unstructured":"E. Rodr\u00edguez, M. B. Dwyer, J. Hatcliff, and Robby, \"A flexible framework for the estimation of coverage metrics in explicit state software model checking,\" in Proceedings of the 2004 International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Devices, 2004, (to appear).]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11925040_11"}],"event":{"name":"OOPSLA04: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Vancouver British Columbia Canada","acronym":"OOPSLA04"},"container-title":["Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066129.1066147","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066129.1066147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T18:29:01Z","timestamp":1787077741000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066129.1066147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10,24]]},"references-count":20,"alternative-id":["10.1145\/1066129.1066147","10.1145\/1066129"],"URL":"https:\/\/doi.org\/10.1145\/1066129.1066147","relation":{},"subject":[],"published":{"date-parts":[[2004,10,24]]},"assertion":[{"value":"2004-10-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}