{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T05:30:54Z","timestamp":1738992654528,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642004308"},{"type":"electronic","value":"9783642004315"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00431-5_6","type":"book-chapter","created":{"date-parts":[[2009,2,24]],"date-time":"2009-02-24T06:14:35Z","timestamp":1235456075000},"page":"90-105","source":"Crossref","is-referenced-by-count":5,"title":["Automated Testing of Planning Models"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Havelund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Holzmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajeev","family":"Joshi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margaret","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Smith, M., Holzmann, G., Cucullu, G., Smith, B.: Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified. In: IEEE Aerospace Conference, Big Sky, Montana (March 2005)","DOI":"10.1109\/AERO.2005.1559607"},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The Model Checker Spin. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR3","first-page":"608","volume-title":"The Spin Model Checker: Primer and Reference Manual 2003","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual 2003, 608 pgs. Addison-Wesley, Reading (2003)"},{"issue":"10","key":"6_CR4","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/TSE.2007.70724","volume":"33","author":"G. Holzmann","year":"2007","unstructured":"Holzmann, G., Bosnacki, D.: The Design of a Multi-Core Extension of the Spin Model Checker. IEEE Transactions on Software Engineering\u00a033(10), 659\u2013674 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR5","unstructured":"http:\/\/www.spinroot.com"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Khatib, L., Muscettola, N., Havelund, K.: Verification of Plan Models using UPPAAL. In: First Goddard Workshop on Formal Approaches to Agent-Based Systems (March 2000)","DOI":"10.1007\/3-540-45484-5_9"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Havelund, K., Lowry, M., Penix, J.: Formal Analysis of a Space Craft Controller using Spin. IEEE Transactions on Software Engineering\u00a027(8) (August 2001)","DOI":"10.1109\/32.940728"},{"key":"6_CR8","unstructured":"Havelund, K., Lowry, M., Park, S., Pecheur, C., Penix, J., Visser, W., White, J.L.: Formal Analysis of the Remote Agent - Before and After Flight. In: The Fifth NASA Langley Formal Methods Workshop, Virginia (June 2000)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/ASE.1999.802093","volume-title":"Proceedings of the Fourteenth IEEE International Conference on Automated Software Engineering (ASE 1999)","author":"M. Feather","year":"1999","unstructured":"Feather, M., Smith, B.: Automatic Generation of Test Oracles: From Pilot Studies to Applications. In: Proceedings of the Fourteenth IEEE International Conference on Automated Software Engineering (ASE 1999), Cocoa Beach, FL, October 1999, pp. 63\u201372. IEEE Computer Society, Los Alamitos (1999)"},{"key":"6_CR10","unstructured":"Penix, J., Pecheur, C., Havelund, K.: Using Model Checking to Validate AI Planner Domain Models. In: 23 Annual NASA Goddard Software Engineering Workshop, Goddard, Maryland (December 1998)"},{"key":"6_CR11","unstructured":"Cichy, B., Chien, S., Schaffer, S., Tran, D., Rabideau, G., Sherwood, R.: Validating the Autonomous EO-1 Science Agent. In: International Workshop on Planning and Scheduling for Space (IWPSS 2004), Darmstadt, Germany (June 2004)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Smith, M., Holzmann, G., Ettessami, K.: Events and Constraints: a Graphical Editor for Capturing Logic Properties of Programs. In: 5th International Symposium on Requirements Engineering, Toronto, Canada, August 2001, pp. 14\u201322 (2001)","DOI":"10.1109\/ISRE.2001.948539"},{"key":"6_CR13","unstructured":"Chien, S., Knight, R., Stechert, A., Sherwood, R., Rabideau, G.: Using Iterative Repair to Improve Responsiveness of Planning and Scheduling. In: International Conference on Artificial Intelligence Planning Systems (AIPS 2000), Breckenridge, CO (April 2000)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Fukunaga, A., Rabideau, G., Chien, S.: ASPEN: An Application Framework for Automated Planning and Scheduling of Spacecraft Control and Operations. In: Proceedings of International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 1997), Tokyo, Japan, pp. 181\u2013187 (1997)","DOI":"10.1109\/AERO.1997.574426"},{"key":"#cr-split#-6_CR15.1","unstructured":"Smith, B., Sherwood, R., Govindjee, A., Yan, D., Rabideau, G., Chien, S., Fukunaga, A.: Representing Spacecraft Mission Planning Knowledge in Aspen. In: AIPS 1998 Workshop on Knowledge Engineering and Acquisition for Planning (June 1998);"},{"key":"#cr-split#-6_CR15.2","unstructured":"Workshop notes published as AAI Technical Report WS-98-03"}],"container-title":["Lecture Notes in Computer Science","Model Checking and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00431-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T21:32:34Z","timestamp":1738963954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00431-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642004308","9783642004315"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00431-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}