TY  - SER
AU  - Dahlman, Erik
AU  - Von Mayrhauser, Anneliese
AU  - France, Robert
TI  - Generating Test-Cases from an Object-Oriented Model with  an Artifical-Intelilgence Planning System
KW  - Test Case Generation
KW  - Ai (Artificial Intelilgence) Planning
KW  - Test Objective
ER  -