Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering

Selected Works

1997

Software Testing & Formal Methods

Articles 1 - 1 of 1

Full-Text Articles in Engineering

Test Selection For Object-Oriented Software Based On Formal Specifications, Cécile Péraire, StéPhane Barbey, Didier Buchs Dec 1996

Test Selection For Object-Oriented Software Based On Formal Specifications, Cécile Péraire, StéPhane Barbey, Didier Buchs

Cécile Péraire

No abstract provided.

Go to article