Generating test-cases from an object-oriented model with an artifical-intelligence planning system.