{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,6]],"date-time":"2023-03-06T13:28:34Z","timestamp":1678109314471},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,6,15]],"date-time":"2007-06-15T00:00:00Z","timestamp":1181865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1007\/s11219-007-9018-3","type":"journal-article","created":{"date-parts":[[2007,6,14]],"date-time":"2007-06-14T16:40:04Z","timestamp":1181839204000},"page":"241-263","source":"Crossref","is-referenced-by-count":3,"title":["Rapid goal-oriented automated software testing using MEA-graph planning"],"prefix":"10.1007","volume":"15","author":[{"given":"Manish","family":"Gupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jicheng","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farokh B.","family":"Bastani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Latifur R.","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.-Ling","family":"Yen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,6,15]]},"reference":[{"key":"9018_CR1","unstructured":"Avila, H. M., Aha, D. W., Nau, D. S., Weber, R., Breslow, L., & Yaman, F. (2001). SiN: Integrating case-based reasoning with task decomposition. IJCAI-2001, Seattle, August."},{"key":"9018_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":"9018_CR3","doi-asserted-by":"crossref","unstructured":"Anderson, C., Mayrhauser, A., & Mraz, R. (1995). On the use of Neural Networks to guide Software Testing Activities. In Proc. of International Test Conference, Washington, DC.","DOI":"10.1109\/TEST.1995.529902"},{"key":"9018_CR4","unstructured":"Anderson, C., Smith, D. E., & Weld, D. (1998). Conditional effects in graphplan. In Proc. of 4th Intl. Conf. on AI Planning Systems, June."},{"key":"9018_CR5","unstructured":"Bacchus, F., & Ady, M. (2001). Planning with resources and concurrency: A forward chaining approach. International Joint Conference on Artificial Intelligence (IJCAI-2001), pp. 417\u2013424."},{"key":"9018_CR6","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A. Blum","year":"1997","unstructured":"Blum, A., & Furst, M. (1997) Fast planning through planning graph analysis. Artificial Intelligence, 90, 281\u2013300.","journal-title":"Artificial Intelligence"},{"key":"9018_CR7","unstructured":"Bacchus, F., & Kabanza, F. (1996). Using temporal logic to control search in a forward chaining planner. In: M. Ghallab & A. Milani (Eds.), New directions in planning (pp. 141\u2013153). IOS Press."},{"key":"9018_CR8","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F. Bacchus","year":"2000","unstructured":"Bacchus, F., & Kabanza, F. (2000). Using temporal logic to express search control knowledge for planning. Artificial Intelligence, 116, 123\u2013191.","journal-title":"Artificial Intelligence"},{"key":"9018_CR9","first-page":"1","volume":"10","author":"D. Borrajo","year":"1996","unstructured":"Borrajo, D., & Veloso, M. M. (1996). Lazy incremental learning of control knowledge for efficiently obtaining quality plans. AI Review Journal. Special Issue on Lazy Learning, 10, 1\u201334.","journal-title":"AI Review Journal. Special Issue on Lazy Learning"},{"key":"9018_CR10","unstructured":"Barrett, A., & Weld, D. (1994). Task-decomposition via plan parsing. In Proc. of AAAI\u201394, Seattle, WA, July."},{"key":"9018_CR11","doi-asserted-by":"crossref","unstructured":"Chilenski, J. J., & Newcomb, P. H. (1994). Formal specification Tools for Test Coverage Analysis. In Proc. of Ninth Knowledge-Based Software Engineering Conference (pp. 59\u201368). Monterey, CA.","DOI":"10.1109\/KBSE.1994.342677"},{"issue":"1","key":"9018_CR12","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/69.75894","volume":"3","author":"W. Deason","year":"1991","unstructured":"Deason, W., Brown, D., Chang, K. H., & Cross, J. (1991). Rule-based software test data generator. IEEE Transactions on Knowledge and Data Engineering, 3(1), 108\u2013117.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"9018_CR13","unstructured":"Erol, K., Hendler, J., & Nau, D. S. (1994). UMCP: A sound and complete procedure for hierarchical task-network planning. In Proc. of the International Conference on AI Planning Systems (AIPS), pp. 249\u2013254, June."},{"key":"9018_CR14","unstructured":"Estlin, T. A., & Mooney, R. J. (1996). Hybrid learning of search control for partial-order planning. New Directions in AI Planning (pp. 129\u2013140). IOS Press."},{"key":"9018_CR15","unstructured":"Fickas, S., & 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":"9018_CR16","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1109\/32.142870","volume":"SE-18","author":"S. Fickas","year":"1992","unstructured":"Fickas, S., & Helm, B. R. (1992). Knowledge representation and reasoning in the design of composite systems. IEEE Transactions on Software Engineering, SE-18(6), 470\u2013482.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3\/4","key":"9018_CR17","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., & Nilsson, N. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3\/4), 189\u2013208.","journal-title":"Artificial Intelligence"},{"key":"9018_CR18","unstructured":"Garagnani, M. (2000). Extending graphplan to domain axiom planning. In Proc. of the 19th Workshop of the UK Planning and Scheduling SIG (PLANSIG 2000) (pp. 275\u2013276). Milton Keynes (UK), ISSN 1368\u20135708."},{"key":"9018_CR19","doi-asserted-by":"crossref","unstructured":"Gupta, M., Bastani, F., Khan, L., & Yen, I. L. (2004). Automated test data generation using MEA-Graph Planning. In Proc. of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI\u201904) (pp. 174\u2013182). Boca Raton, Florida (USA).","DOI":"10.1109\/ICTAI.2004.35"},{"key":"9018_CR20","unstructured":"Huff, K. (1992). Software adaptation. In Working Notes of AAAI-92 Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse (pp. 63\u201366). Stanford University."},{"key":"9018_CR21","unstructured":"Huff, K., & Lesser, V. (1998). A plan-based intelligent assistant that supports the software development process. ACM SIGSOFT\/SIGPLAN, Software Engineering Symposium on Practical Software Development Environments, November."},{"issue":"1","key":"9018_CR22","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1008607721339","volume":"4","author":"A. Howe","year":"1997","unstructured":"Howe, A., Mayrhauser, A., & Mraz, R. (1997). Test case generation as an AI planning problem. Automated Software Engineering, 4(1), 77\u2013106.","journal-title":"Automated Software Engineering"},{"key":"9018_CR23","doi-asserted-by":"crossref","unstructured":"Koehler, J., Nebel, B., Hoffmann, J., & Dimopoulos, Y. (1997). Extending planning graphs to an ADL subset. In Proc. 4th European Conference on Planning (pp. 273\u2013285). September.","DOI":"10.1007\/3-540-63912-8_92"},{"key":"9018_CR24","doi-asserted-by":"crossref","unstructured":"Kambhampati, R., Paeker, E., & Lambrecht, E. (1997). Understanding and extending graphplan. In Proc. 4th European Conference on Planning, September.","DOI":"10.1007\/3-540-63912-8_91"},{"key":"9018_CR25","unstructured":"McDermott, D. (1996). A heuristic estimator for means-ends analysis in planning. In Proc. 3rd Intl. Conf. AI Planning systems (pp. 142\u2013149) May."},{"key":"9018_CR26","unstructured":"Mu\u00f1oz-Avila, H. (1998). Integrating twofold case retrieval and complete decision replay in CAPlan\/CbC. PhD Thesis, University of Kaiserslautern."},{"key":"9018_CR27","unstructured":"EL-Manzalawy, Y. (2006). Efficient planning with initial irrelevant facts. http:\/\/www.cs.iastate.edu\/\u223cyasser\/cs572pro.html (Feb 15, 2006)"},{"issue":"1\u20133","key":"9018_CR28","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0004-3702(89)90047-7","volume":"40","author":"S. Minton","year":"1989","unstructured":"Minton, S., Carbonell, J. G., Knoblock, C. A., Kuokka, D. R., Etzioni, O., & Gil, Y. (1989). Explanation-based learning: A problem-solving perspective. Journal of Artificial Intelligence, 40(1\u20133), 63\u2013118.","journal-title":"Journal of Artificial Intelligence"},{"key":"9018_CR29","doi-asserted-by":"crossref","unstructured":"Mayrhauser, A., & Hines, S. C. (1993). Automated testing support for a robot tape library. In Proc. of the Fourth International Software Reliability Engineering Conference (pp. 6\u201314). November.","DOI":"10.1109\/ISSRE.1993.624269"},{"key":"9018_CR30","doi-asserted-by":"crossref","unstructured":"Mraz, R. T., Howe, A. E., Mayrhauser, A., & Li, L. (1995). System testing with an AI planner. In Proc. Sixth International Symposium on Software Reliability Engineering (pp. 96 \u2013105). Oct.","DOI":"10.1109\/ISSRE.1995.497648"},{"key":"9018_CR31","doi-asserted-by":"crossref","unstructured":"Mayrhauser, A., Mraz, R. T., & Walls, J. (1994). Domain based regressing testing. In Proc. of the International conference on Software Maintenance (pp. 26\u201334). Sept.","DOI":"10.1109\/ICSM.1994.336792"},{"issue":"2","key":"9018_CR32","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1109\/32.908959","volume":"27","author":"A.M. Memon","year":"2001","unstructured":"Memon, A. M., Pollack, M. E., & Soffa, M. L. (2001). Hierarchical GUI test case generation using automated planning. IEEE Transactions on Software Engineering, 27(2) February.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9018_CR33","unstructured":"McAllester, D., & Rosenblitt, D. (1991). Systematic nonlinear planning. In Proc. 9th National Conference on Artificial Intelligence."},{"key":"9018_CR34","doi-asserted-by":"crossref","unstructured":"Mayrhauser, A., Scheetz, M., Dahlman, E., & Howe, A. E. (2000). Planner based error recovery testing. In Proc. 11th International Symposium on Software Reliability Engineering (pp. 186\u2013195). Oct.","DOI":"10.1109\/ISSRE.2000.885871"},{"key":"9018_CR35","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz-Avila, H., & Weberskirch, F. (1997). A case study on the mergeability of cases with a partial-order planner. In S. Steel & R. Alami (Eds.), Proc. of ECP-97 Recent Advances in AI Planning. Springer.","DOI":"10.1007\/3-540-63912-8"},{"key":"9018_CR36","first-page":"968","volume":"99","author":"D. Nau","year":"1999","unstructured":"Nau, D., Cao, Y., Lotem, A., & Mu\u00f1oz-Avila, H. (1999). SHOP: Simple hierarchical ordered planner. IJCAI, 99, 968\u2013973.","journal-title":"IJCAI"},{"key":"9018_CR37","doi-asserted-by":"crossref","unstructured":"Nebel, B., Dimopoulos, Y., & Koehler, J. (1997). Ignoring irrelevant facts and operators in plan generation. In Proc. 4th European Conference on Planning, Sept","DOI":"10.1007\/3-540-63912-8_97"},{"key":"9018_CR38","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/10720246_26","volume-title":"Recent Advances in AI Planning","author":"Eric Parker","year":"2000","unstructured":"Parker, E. (1999). Making Graphplan Goal-Directed. In Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning, pp. 333\u2013346."},{"key":"9018_CR39","unstructured":"Penberthy, J. S., & Weld, D. (1992). UCPOP: A sound, complete, partial order planner for ADL. In Proc. 3rd Intl. Conf. Principles of Knowledge Representation and Reasoning(pp. 103\u2013114). Oct."},{"key":"9018_CR40","unstructured":"Rist, R. S. (1992). Plan identification and re-use in programs. In Working Notes of AAAI-92 Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse (pp. 67\u201372). Stanford University, March."},{"key":"9018_CR41","doi-asserted-by":"crossref","unstructured":"Scheetz, M., Mayrhauser, A., France, R., Dahlman, E., & Howe, A. (1999). Generating test cases from OO model with an AI planning system. In Proc. of 10th International Symposium on Software Reliability Engineering (pp. 250\u2013259). November 01\u201304.","DOI":"10.1109\/ISSRE.1999.809330"},{"key":"9018_CR42","unstructured":"Veloso, M. M. (1994). Flexible strategy learning: Analogical replay of problem solving episodes. In Proc. of AAAI-94, the Twelfth National Conference on Artificial Intelligence (pp. 595\u2013600). Seattle, WA: AAAI Press."},{"key":"9018_CR43","unstructured":"Veloso, M. M., & Blythe, J. (1994). Linkability: Examining causal link commitments in partial-order planning. In Proc. of the Second International Conference on AI Planning Systems (pp. 170\u2013175). June"},{"key":"9018_CR44","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1080\/09528139508953801","volume":"7","author":"M. M. Veloso","year":"1995","unstructured":"Veloso, M. M., Carbonell, J., Perez, M. A., Borrajo, D., Fink, E., & Blythe, J. (1995). Integrating planning and learning: The prodigy architecture. Journal of Experimental and Theoretical Artificial Intelligence, 7(1), 81\u2013120.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"4","key":"9018_CR45","first-page":"27","volume":"15","author":"D. S. Weld","year":"1994","unstructured":"Weld, D. S. (1994). An Introduction to least-commitment planning. AI Magazine, 15(4), 27\u201361.","journal-title":"AI Magazine"},{"issue":"2","key":"9018_CR46","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\u2013123.","journal-title":"AI Magazine"},{"issue":"2","key":"9018_CR47","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1111\/j.1467-8640.1990.tb00126.x","volume":"6","author":"Q. Yang","year":"1990","unstructured":"Yang, Q. (1990). Formalizing planning knowledge for hierarchical planning. Computational Intelligence Journal, 6(2), 12\u201324.","journal-title":"Computational Intelligence Journal"},{"key":"9018_CR48","unstructured":"Yen, I-L., Bastani, F. B., Mohamed, F., Ma, H., & Linn, J. (2002). Application of AI planning techniques to automated code synthesis and testing. In Proc. 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI\u201902). November."},{"key":"9018_CR49","doi-asserted-by":"crossref","unstructured":"Zeil, S. J., & Wild, C. (1993). A knowledge base for software test refinement. Technical Report TR-93-14, Old Dominion University, Norfolk, VA.","DOI":"10.1109\/KBSE.1993.341198"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-007-9018-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-007-9018-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-007-9018-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-007-9018-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:10:36Z","timestamp":1559369436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-007-9018-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,15]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["9018"],"URL":"https:\/\/doi.org\/10.1007\/s11219-007-9018-3","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,15]]}}}