"Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications" by Stéphane Barbey

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)

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

Link

Disciplines

Computer Engineering

Publication Date

1998

Citation Information

Sté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/