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

Selected Works of Cécile Péraire

Follow Contact

Article

Test Selection for Object-Oriented Software Based on Formal Specifications

IFIP Working Conference on Programming Concepts and Methods - PROCOMET’98, New York, USA (1998)

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

Link

Disciplines

Computer Engineering

Publication Date

June, 1998

Citation Information

Cécile Péraire, Stéphane Barbey and Didier Buchs. "Test Selection for Object-Oriented Software Based on Formal Specifications" IFIP Working Conference on Programming Concepts and Methods - PROCOMET’98, New York, USA Vol. Chapman & Hall (1998)
Available at: http://works.bepress.com/cecile_peraire/12/