Kasilingam Periyasamy Vangalur S. Alagar A rigorous method for test templates generation from object-oriented specifications. 3-37 2001 11 Softw. Test., Verif. Reliab. 1 db/journals/stvr/stvr11.html#PeriyasamyA01