Generating test-cases from an object-oriented model with an artifical-intelligence planning system | IEEE Journals & Magazine | IEEE Xplore