{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:26:58Z","timestamp":1761647218580,"version":"3.43.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Quality Journal"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1021686406575","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T21:03:09Z","timestamp":1048194189000},"page":"225-259","source":"Crossref","is-referenced-by-count":5,"title":["AI Planner Assisted Test Generation"],"prefix":"10.1007","volume":"10","author":[{"given":"Anneliese K.","family":"Amschler Andrews","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunhui","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Scheetz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Dahlman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adele E.","family":"Howe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5108123_CR1","doi-asserted-by":"crossref","unstructured":"Ammann, P.E., Black, P.E., and Majurski, W. 1998. Using model checking to generate tests from specications, Proceedings of the Second IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, pp. 46-54.","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"5108123_CR2","unstructured":"Anderson, J.S. 1993. Automating Requirements Engineering Using Artificial Intelligence Techniques, Ph.D. Thesis, Dept. of Computer and Information Science, University of Oregon."},{"key":"5108123_CR3","unstructured":"Barrett, A., Christianson, D., Kwok, C., Golden, K., Penberthy, S., Sun, Y., and Weld, D. 1995. UCPOP User's Manual, Technical Report 93-09-06d, University of Washington, Dept. of Computer Science and Engineering."},{"issue":"4","key":"5108123_CR4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/TSE.1982.235428","volume":"8","author":"F. Bazzichi","year":"1982","unstructured":"Bazzichi, F. and Spadafora, I. 1982. An automatic generator for compiler testing, IEEE Transactions on Software Engineering, 8(4): 343-353.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5108123_CR5","unstructured":"Chow, T.S. 1977. Testing software design modeled by finite state machines, Proceedings of the First COMPSAC, pp. 58-64."},{"key":"5108123_CR6","volume-title":"Object oriented Development, The Fusion Method","author":"D. Coleman","year":"1994","unstructured":"Coleman, D., Arnold, A., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., and Jeremaes, P. 1994. Object oriented Development, The Fusion Method, Englewood Cliffs, Prentice Hall."},{"key":"5108123_CR7","volume-title":"A proposed perspective shift: viewing specification design as a planning problem","author":"S. Fickas","year":"1988","unstructured":"Fickas, S. and Anderson, J. 1988. A proposed perspective shift: viewing specification design as a planning problem, Department of Computer and Information Science CIS-TR-88-15, University of Oregon, Eugene, OR."},{"issue":"6","key":"5108123_CR8","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1109\/32.142870","volume":"SE-18","author":"S. Fickas","year":"1992","unstructured":"Fickas, S. and Helm, B.R. 1992. Knowledge representation and reasoning in the design of composite systems, IEEE Transactions on Software Engineering, SE-18(6): 470-482.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5108123_CR9","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1109\/AERO.1996.499671","volume":"4","author":"T. Figliulo","year":"1996","unstructured":"Figliulo, T., von Mayrhauser, A., Shumway, M., and Karcich, R. 1996. Experiences with automated system testing and Sleuth, Proceedings of the IEEE Aerospace Applications Conference 1996, Snowmass, Colorado, Vol. 4, pp. 335-349.","journal-title":"Proceedings of the IEEE Aerospace Applications Conference 1996"},{"key":"5108123_CR10","volume-title":"UML Distilled, Applying the Standard Object Modeling Language","author":"M. Fowler","year":"1997","unstructured":"Fowler, M. 1997. UML Distilled, Applying the Standard Object Modeling Language, Reading. Addison-Wesley."},{"issue":"10","key":"5108123_CR11","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","volume":"SE-17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., von Bochman, G., Khendek, F., Amalou, M., and Ghedamsi, A. 1991. Test selection based on finite state models, IEEE Transactions on Software Engineering, SE-17(10): 591-603.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"5108123_CR12","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1109\/32.62448","volume":"SE-16","author":"D. Hamlet","year":"1990","unstructured":"Hamlet, D. and Taylor, R. 1990. Partition testing does not inspire confidence, IEEE Transactions on Software Engineering, SE-16(12): 1402-1411.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5108123_CR13","doi-asserted-by":"crossref","unstructured":"Howe, A.E., Dahlman, E., Hansen, C., Scheetz, M., and von Mayrhauser, A. 1999. Exploiting competitive planner performance, Proceedings of the European Conference on Planning (ECP-99), Durham, England, pp. 60-72.","DOI":"10.1007\/10720246_5"},{"issue":"1","key":"5108123_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1023\/A:1008607721339","volume":"4","author":"A.E. Howe","year":"1997","unstructured":"Howe, A.E., von Mayrhauser, A., and Mraz, R.T. 1997. Test case generation as an AI planning problem, Automated Software Engineering, 4(1): 77-106.","journal-title":"Automated Software Engineering"},{"key":"5108123_CR15","doi-asserted-by":"crossref","unstructured":"Huff, K. and Lesser, V. 1988. A plan-based intelligent assistant that supports the software development process, Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pp. 97-106.","DOI":"10.1145\/64135.65012"},{"key":"5108123_CR16","unstructured":"Huff, K. 1992. Software adaptation, Working Notes of AAAI-92 Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse, pp. 63-66."},{"issue":"1","key":"5108123_CR17","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/comjnl\/30.1.63","volume":"30","author":"D.C. Ince","year":"1987","unstructured":"Ince, D.C. 1987. The automatic generation of test data, Computer Journal, 30(1): 63-69.","journal-title":"Computer Journal"},{"key":"5108123_CR18","doi-asserted-by":"crossref","unstructured":"Kasik, D.J. and George, H.G. 1996. Toward automatic generation of user test scripts, Proceedings of the Conference on Human Factors in Computing Systems: Common Ground, pp. 244-251.","DOI":"10.1145\/238386.238519"},{"key":"5108123_CR19","doi-asserted-by":"crossref","unstructured":"Maurer, P. 1990. Generating test data withenh anced context-free grammars, IEEE Software, July: 50-55.","DOI":"10.1109\/52.56422"},{"key":"5108123_CR20","series-title":"Technical Report","volume-title":"The Planning Domain Definition Language","author":"D. McDermott","year":"1999","unstructured":"McDermott, D., Ghallab, M., Howe, A.E., Knobloch, C., Ram, A., Veloso, M., Weld, D., and Wilkins, D. 1999. The Planning Domain Definition Language, Technical Report, Yale University, Computer Science Department, New Haven, Connecticut, Release 1.7, March1999 (http:\/\/cswww.cs.yale.edu\/homes\/dvm)."},{"key":"5108123_CR21","first-page":"30","volume-title":"Proceedings of the Eighth International Symposium on the Foundations of Software Engineering","author":"A.M. Memon","year":"2000","unstructured":"Memon, A.M., Pollack, M.E., and Soffa, M.L. 2000. Automated test oracles for GUIs, Proceedings of the Eighth International Symposium on the Foundations of Software Engineering, pp. 30-39. New York, NY, ACM Press."},{"issue":"2","key":"5108123_CR22","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/32.908959","volume":"27","author":"A.M. Memon","year":"2001","unstructured":"Memon, A.M., Pollack, M.E., and Soffa, M.L. 2001. Hierarchical GUI test case generation using automated planning, IEEE Transactions on Software Engineering, 27(2): 144-155.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5108123_CR23","first-page":"676","volume-title":"Communications of the ACM","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J. and Balcer, M.J. 1988. The category-partition method for specifying and generating functional tests, Communications of the ACM, 31(6): 676-686. New York, NY, ACM Press."},{"issue":"3","key":"5108123_CR24","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P.A. Purdom","year":"1972","unstructured":"Purdom, P.A. 1972. A sentence generator for testing parsers, BIT, 12(3): 366-375.","journal-title":"BIT"},{"key":"5108123_CR25","first-page":"86","volume-title":"Proceedings of the ACM Third Symposium on Software Testing, Analysis, and Verification (TAV3)","author":"D.J. Richardson","year":"1993","unstructured":"Richardson, D.J., O'Malley, O., and Tittle, C. 1993. Approaches to speci.cation-based testing, Proceedings of the ACM Third Symposium on Software Testing, Analysis, and Verification (TAV3), pp. 86-96. New York, NY, ACM Press."},{"key":"5108123_CR26","unstructured":"Rist, R.S. 1992. Plan identification and re-use in programs, Working Notes of AAAI-92 Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse, pp. 67-72."},{"key":"5108123_CR27","first-page":"250","volume-title":"Proceedings of the International Symposium on Software Reliability Engineering","author":"M. Scheetz","year":"1999","unstructured":"Scheetz, M., von Mayrhauser, A., France, R., Dahlman, E., and Howe, A.E. 1999. Generating test cases from an OO model withan AI planning system, Proceedings of the International Symposium on Software Reliability Engineering, pp. 250-259. Los Alamitos, CA, IEEE Computer Society Press."},{"issue":"11","key":"5108123_CR28","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"Stocks, P. and Carrington, D. 1996. A framework for speci.cation-based testing, IEEE Transactions on Software Engineering, 22(11): 777-793.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5108123_CR29","unstructured":"StorageTek. 1992. StorageTek 4400 Operator's Guide, Host Software Component (VM) Rel 1.2.0, StorageTek."},{"issue":"7","key":"5108123_CR30","first-page":"687","volume":"SE-19","author":"M. Tsoulakos","year":"1993","unstructured":"Tsoulakos, M., Duran, J.W., and Ntafos, S.C. 1993. On some reliability estimation problems in random and partition testing, IEEE Transactions on Software Engineering, SE-19(7): 687-697.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5108123_CR31","doi-asserted-by":"crossref","unstructured":"von Mayrhauser, A., Walls, J., and Mraz, R.T. 1994. Testing applications using domain based testing and Sleuth, Proceedings of the Fifth International Software Reliability Engineering Symposium, pp. 206-215.","DOI":"10.1109\/ISSRE.1994.341375"},{"key":"5108123_CR32","first-page":"1","volume-title":"Proceedings of the IEEE Aerospace Conference","author":"A. von Mayrhauser","year":"1999","unstructured":"von Mayrhauser, A., Scheetz, M., Dahlman, M.E., and Howe, A.E. 1999. Trade-offs in planner representation for automated software testing, Proceedings of the IEEE Aerospace Conference, Section 7. 402: 1-10. Piscataway, NJ, IEEE Press."},{"key":"5108123_CR33","doi-asserted-by":"crossref","unstructured":"von Mayrhauser, A., Scheetz, M., Dahlman, E., and Howe, A.E. 2000. Planner based error recovery testing, Proceedings of the International Symposium on Software Reliability Engineering, pp. 186-195.","DOI":"10.1109\/ISSRE.2000.885871"},{"issue":"1","key":"5108123_CR34","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/24.855534","volume":"49","author":"A. von Mayrhauser","year":"2000","unstructured":"von Mayrhauser, A., Scheetz, M., France, R., and Dahlman, E. 2000. Generating test cases from an OO model withan AI planning system, IEEE Transactions on Reliability, 49(1): 26-36.","journal-title":"IEEE Transactions on Reliability"},{"issue":"2","key":"5108123_CR35","first-page":"93","volume":"20","author":"D.S. Weld","year":"1999","unstructured":"Weld, D.S. 1999. Recent advances in AI planning, AI Magazine, 20(2): 93-122.","journal-title":"AI Magazine"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021686406575.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021686406575\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021686406575.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T04:51:29Z","timestamp":1754628689000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021686406575"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5108123"],"URL":"https:\/\/doi.org\/10.1023\/a:1021686406575","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}