OCL2TestSW: Generating test software from OCL specification - Al-Jumaily H; Cuadra D; Martínez P (Proceedings Of The 6th Iberian Conference On Information Systems And Technologies, Cisti 2011, 2011)