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

Computer Engineering Commons^™

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

1998

Software Testing & Formal Methods

Articles 1 - 4 of 4

Full-Text Articles in Computer Engineering

From Requirements To Tests Via Object-Oriented Design, StéPhane Barbey, Didier Buchs, Marie-Claude Gaudel, Bruno Marre, Cécile Péraire, Pascale Thévenod-Fosse, Hélene Waeselynck Nov 1998

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

Testing The Production Cell Case Study From Co-Opn Specification, Cécile Péraire, StéPhane Barbey, Didier Buchs Dec 1997

Incremental Test Selection For Specification-Based Unit Testing Of Object-Oriented Software Based On Formal Specifications, StéPhane Barbey, Didier Buchs, Cécile Péraire, Alfred Strohmeier Dec 1997