Generating test cases from UML activity diagrams using the Condition-Classification Tree Method | IEEE Conference Publication | IEEE Xplore