Unpublished Paper
Test Selection for Object-Oriented Software Based on Formal Specifications
Technical Report DI-97/252, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland
(1997)
Disciplines
Publication Date
1997
Citation Information
Cécile Péraire, Stéphane Barbey and Didier Buchs. "Test Selection for Object-Oriented Software Based on Formal Specifications" Technical Report DI-97/252, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland (1997) Available at: http://works.bepress.com/cecile_peraire/24/