"Test Selection for Object-Oriented Software Based on Formal Specifications" by Cécile Péraire

Selected Works of Cécile Péraire

Follow Contact

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)

Cécile Péraire
Stéphane Barbey
Didier Buchs

Link

Disciplines

Computer Engineering

Publication Date

1997

Citation Information

Cécile Péraire, Sté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/