Test Case Generation by OCL Mutation and Constraint Solving

B. K. Aichernig and P. A. P. Salas

Abstract:

Reference: B. K. Aichernig and P. A. P. Salas. Test case generation by OCL mutation and constraint solving. In K.-Y. Cai and A. Ohnishi, editors, QSIC 2OO5, Fifth International Conference on Quality Software, Melbourne, Australia, September 19-21, 2005. IEEE Computer Society Press, 2005.