Test Case Generation by OCL Mutation and Constraint Solving

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

Abstract:

Reference: B. K. Aichernig and P. A. Pari Salas. Test case generation by ocl mutation and constraint solving. In QSIC '05: Proceedings of the Fifth International Conference on Quality Software, pages 64-71, Washington, DC, USA, 2005. IEEE Computer Society.