Stéphane Barbey

Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications

Alfred Strohmeier, Cécile Péraire, Didier Buchs, 1997 .

Experiences in Object-Oriented Programming

Stéphane Barbey, Brad Balfour, B. Beckwith, 1996 .

From Requirements to Tests via Object-Oriented Design

Cécile Péraire, Didier Buchs, Marie-Claude Gaudel, 1998 .

Ada 95 as implementation language for object-oriented designs

Stéphane Barbey, Stéphane Barbey, 1995, TRI-Ada '95.

Implementing Associations with Ada

Stéphane Barbey, Catherine Jean-Pousin, Stéphane Barbey, 1993 .

A Theory of Specification-Based Testing for Object-Oriented Software

Cécile Péraire, Didier Buchs, Stéphane Barbey, 1996, EDCC.