Unpublished Paper
Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications
Technical Report DI-99/303, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland
(1998)
Disciplines
Publication Date
1998
Citation Information
Stéphane Barbey, Didier Buchs, Cécile Péraire and Alfred Strohmeier. "Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications" Technical Report DI-99/303, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland (1998) Available at: http://works.bepress.com/cecile_peraire/20/