{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T11:37:50Z","timestamp":1767008270775,"version":"3.41.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1008607721339","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"77-106","source":"Crossref","is-referenced-by-count":42,"title":["Test Case Generation as an AI Planning Problem"],"prefix":"10.1007","volume":"4","author":[{"given":"Adele E.","family":"Howe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anneliese von","family":"Mayrhauser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard T.","family":"Mraz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"125044_CR1","unstructured":"Charles Anderson, Anneliese von Mayrhauser, and Rick Mraz. \u201cOn the Use of Neural Networks to Guide Software Testing Activities\u201d, Procs. International Test Conference, Oct. 1995, Washington, DC."},{"key":"125044_CR2","unstructured":"John S. Anderson. Automating Requirements Engineering Using Artificial Intelligence Techniques. PhD thesis, Dept. of Computer and Information Science, University of Oregon, Dec. 1993."},{"key":"125044_CR3","volume-title":"UCPOP User's Manual","author":"A. Barrett","year":"1993","unstructured":"Anthony Barrett, Keith Golden, Scott Penberthy, and Daniel Weld. UCPOP User's Manual. Dept of Computer Science and Engineering, University of Washington, Seattle, WA, October 1993. TR 93-09-06."},{"key":"125044_CR4","unstructured":"J. Bauer and A. Finger. \u201cTest Plan Generation Using Formal Grammars\u201d, Procs. Fourth International Conference on Software Engineering, 1979, pp. 425-432."},{"issue":"4","key":"125044_CR5","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/TSE.1982.235428","volume":"8","author":"F. Bazzichi","year":"1982","unstructured":"Franco Bazzichi and Ippolito Spadafora. \u201cAn Automatic Generator for Compiler Testing,\u201d IEEE Transactions on Software Engineering, 1982:8(4), pp.343-353.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"125044_CR6","doi-asserted-by":"crossref","unstructured":"Ted J. Biggerstaff and Alan J. Perlis. Software Reusability: Volume I, Concepts and Models, ACM Press, Fronier Series, 1989.","DOI":"10.1145\/75722"},{"key":"125044_CR7","unstructured":"Grady Booch, Object Oriented Design with Applications, \u201dBenjamin\/Cummings\u201d, 1991."},{"key":"125044_CR8","doi-asserted-by":"crossref","first-page":"987","DOI":"10.1002\/spe.4380101104","volume":"10","author":"A. Celentano","year":"1980","unstructured":"A. Celentano, S. Crespi Reghizzi, P. Della Vigna, C. Ghezzi, G. Gramata and F. Savoretti. \u201cCompiler Testing using a Sentence Generator,\u201d Software-Practice and Experience, 1980:10, pp. 987-918.","journal-title":"Software-Practice and Experience"},{"key":"125044_CR9","doi-asserted-by":"crossref","unstructured":"John J. Chilenski and Philip H. Newcomb. \u201cFormal Specification Tools for Test Coverage Analysis\u201d, Procs. Ninth Knowledge-Based Software Engineering Conference, September 1994, Monterey, CA, pp. 59-68.","DOI":"10.1109\/KBSE.1994.342677"},{"key":"125044_CR10","first-page":"513","volume-title":"Handbook of Artificial Intelligence","author":"P. R. Cohen","year":"1982","unstructured":"Paul R. Cohen and Edward A. Feigenbaum. Handbook of Artificial Intelligence, volume 3, chapter Planning and Problem Solving, pages 513-562. William Kaufmann, Inc., Los Angeles, 1982."},{"key":"125044_CR11","unstructured":"A.G. Duncan and J.S. Hutchison, \u201cUsing Attributed Grammars to Test Designs and Implementations,\u201d Proceedings of the Fifth International Conference on Software Engineering, 1981, pp. 170-177."},{"key":"125044_CR12","unstructured":"Tsum S. Chow. \u201cTesting Software Design Modeled by Finite State Machines,\u201d Proceedings of the First COMPSAC, 1977, pp. 58-64."},{"issue":"1","key":"125044_CR13","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/69.75894","volume":"3","author":"W. Deason","year":"1991","unstructured":"W. Deason, D. Brown, K.-H. Chang, and J. Cross. \u201cRule-Based Software Test Data Generator\u201d, IEEE Transactions on Knowledge and Data Engineering, 3(1) March 1991, pp. 108-117.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"125044_CR14","volume-title":"A proposed perspective shift: Viewing specification design as a planning problem","author":"S. Fickas","year":"1988","unstructured":"Stephen Fickas and John Anderson. 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, November 1988."},{"issue":"6","key":"125044_CR15","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1109\/32.142870","volume":"SE-18","author":"S. Fickas","year":"1992","unstructured":"Stephen Fickas and B. Robert Helm. \u201cKnowledge Representation and Reasoning in the Design of Composite Systems\u201d, IEEE Transactions on Software Engineering, SE-18(6), June 1992, pp. 470-482.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"125044_CR16","unstructured":"Tom Figliulo, Anneliese von Mayrhauser, and Richard Karcich. \u201cExperiences with Automated System Testing and SLEUTH\u201d, Procs. IEEE Aerospace Applications Conference 1996, February 1996."},{"key":"125044_CR17","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","volume":"10","author":"S. Fujiwara","year":"1991","unstructured":"S. Fujiwara, G. von Bochman, F. Khendek, M. Amalou, and A. Ghedamsi. \u201cTest Selection Based on Finite State Models\u201d, IEEE Transactions on Software Engineering SE-17, no. 10(June 1991), pp. 591-603.","journal-title":"IEEE Transactions on Software Engineering SE-17"},{"issue":"2","key":"125044_CR18","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","volume":"SE-1","author":"J. B. Goodenough","year":"1975","unstructured":"J. B. Goodenough and S. L. Gerhart. \u201cToward a Theory of Test Data Selection\u201d, IEEE Transactions on Software Engineering, SE-1(2), June 1975, pp. 156-173.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"125044_CR19","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1109\/32.62448","volume":"SE-16","author":"D. Hamlet","year":"1990","unstructured":"Dick Hamlet and Ross Taylor. \u201cPartition Testing Does not inspire Confidence\u201d, IEEE Transactions on Software Engineering, SE-16(12), Dec. 1990, pp. 1402-1411.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"125044_CR20","doi-asserted-by":"crossref","unstructured":"James W. Hooper and Rowena O. Chester. Software Reuse: Guidelines and Methods, Plenum Publishers, 1991.","DOI":"10.1007\/978-1-4615-3764-9"},{"key":"125044_CR21","doi-asserted-by":"crossref","unstructured":"Karen Huff and Victor Lesser. A plan-based intelligent assistant that supports the software development process. In ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Nov. 1988.","DOI":"10.1145\/64135.65012"},{"key":"125044_CR22","unstructured":"Karen Huff. Software adaptation. In Working Notes of AAAI-92 Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse, pages 63-66, Stanford University, March 1992."},{"issue":"1","key":"125044_CR23","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/comjnl\/30.1.63","volume":"30","author":"D. C. Ince","year":"1987","unstructured":"D. C. Ince. \u201cThe Automatic Generation of Test Data\u201d, Computer Journal, vol.30(1), 1987, pp. 63-69.","journal-title":"Computer Journal"},{"key":"125044_CR24","doi-asserted-by":"crossref","unstructured":"P. Maurer. \u201cGenerating Test Data with Enhanced Context-Free Grammars\u201d, IEEE Software, July 1990, pp. 50-55.","DOI":"10.1109\/52.56422"},{"key":"125044_CR25","unstructured":"Glenford J. Myers. The Art of Software Testing, Wiley Series in Business Data Processing. John Wiley and Sons, 1979."},{"issue":"6","key":"125044_CR26","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T. J. Ostrand","year":"1988","unstructured":"Thomas J. Ostrand and Marc J. Balcer. \u201cThe Category-Partition Method for Specifying and Generating Functional Tests\u201d, Communications of the ACM, 31(6), June 1988, pp. 676-686.","journal-title":"Communications of the ACM"},{"key":"125044_CR27","unstructured":"J.S. Penberthy and D. Weld. \u201cUCPOP: A sound, complete, partial order planner for ADL\u201d, In Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, October 1992, pp. 103-114."},{"issue":"3","key":"125044_CR28","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P. Purdom","year":"1972","unstructured":"P. Purdom. \u201cA Sentence Generator for Testing Parsers\u201d, BIT, 12(3), 1972, pp. 366-375.","journal-title":"BIT"},{"key":"125044_CR29","doi-asserted-by":"crossref","unstructured":"Debra J. Richardson, Owen O'Malley, and Cindy Tittle. \u201cApproaches to Specification-Based Testing\u201d, Procs. ACM Third Symposium on Software Testing, Analysis, and Verification (TAV3), December 1993, pp. 86-96.","DOI":"10.1145\/75308.75319"},{"key":"125044_CR30","unstructured":"Robert S. Rist. Plan Identification and Re-use in Programs. In Working Notes of AAAI-92 Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse, pages 67-72, Stanford University, March 1992."},{"issue":"9","key":"125044_CR31","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/130994.130996","volume":"35","author":"K. S. Rubin","year":"1992","unstructured":"Kenneth S. Rubin and Adele Goldberg. \u201cObject Behavior Analysis,\u201d Communications of the ACM, 35(9), September 1992, pp. 48-62.","journal-title":"Communications of the ACM"},{"key":"125044_CR32","unstructured":"Raghavan Srinivasan and Adele E. Howe. Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 1620-1626, Montreal, Canada, August 1995."},{"key":"125044_CR33","unstructured":"Storage Tek, Storage Tek 4400 Operator's Guide, Host Software Component (VM) Rel 1.2.0, Storage Tek, 1992."},{"key":"125044_CR34","unstructured":"Gerald A. Sussman. A computational model of skill acquisition. Technical Report Memo no. AI-TR-297, MIT AI Lab, 1973."},{"issue":"7","key":"125044_CR35","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1109\/32.238569","volume":"19","author":"M. Z. Tsoulakas","year":"1993","unstructured":"Markos Z. Tsoulakas, Joe W. Duran, and Simeon C. Ntafos. \u201cOn Some Reliability Estimation Problems in Random and Partition Testing\u201d, IEEE Transactions on Software Engineering, 19(7), July 1993, pp. 687-697.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"125044_CR36","doi-asserted-by":"crossref","unstructured":"Anneliese von Mayrhauser and Steward Crawford-Hines, \u201cAutomated Testing Support for a Robot Tape Library,\u201d Proceedings of the Fourth International Software Reliability Engineering Conference, November 1993, pp. 6-14.","DOI":"10.1109\/ISSRE.1993.624269"},{"key":"125044_CR37","doi-asserted-by":"crossref","unstructured":"Anneliese von Mayrhauser, Richard T. Mraz, and Jeff Walls. \u201cDomain Based Regression Testing,\u201d Proceedings of the International Conference on Software Maintenance, Sept 1994, p. 26-35.","DOI":"10.1109\/ICSM.1994.336792"},{"key":"125044_CR38","doi-asserted-by":"crossref","unstructured":"Anneliese von Mayrhauser, Richard Mraz, Jeff Walls, and Pete Ocken. \u201cDomain Based Testing: Increasing Test Case Reuse,\u201d Proc. of the International Conference on Computer Design, October 1994, p. 484-491.","DOI":"10.1109\/ICCD.1994.331957"},{"key":"125044_CR39","doi-asserted-by":"crossref","unstructured":"Anneliese von Mayrhauser, Jeff Walls, and Richard Mraz, \u201cTesting Applications Using Domain Based Testing and Sleuth,\u201d Proceedings of the Fifth International Software Reliability Engineering Conference, November 1994, p. 206-215.","DOI":"10.1109\/ISSRE.1994.341375"},{"key":"125044_CR40","doi-asserted-by":"crossref","unstructured":"Anneliese von Mayrhauser, Jeff Walls, and Richard Marz. \u201cSleuth: A Domain Based Testing Tool,\u201d Proc. of the International Test Conference, October 1994, p. 840-849.","DOI":"10.1109\/TEST.1994.528031"},{"issue":"7","key":"125044_CR41","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E. J. Weyuker","year":"1991","unstructured":"Elaine J. Weyuker and Bingchiang Jeng. \u201cAnalyzing Partition Testing Strategies\u201d, IEEE Transactions on Software Engineering, 17(7), July 1991, pp. 703-711.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"125044_CR42","unstructured":"Steven J. Zeil and Christian Wild. \u201cA Knowledge Base for Software Test Refinement\u201d, Technical Report TR-93-14, Old Dominion University, Norfolk VA."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008607721339.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008607721339\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008607721339.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:10:33Z","timestamp":1748070633000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008607721339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["125044"],"URL":"https:\/\/doi.org\/10.1023\/a:1008607721339","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}