Generating test cases from an OO model with an AI planning system | IEEE Conference Publication | IEEE Xplore