Testing Ada Abstract Data Types Using Formal Specifications. - Stéphane Barbey; Didier Buchs (Ada-Europe, 1994)

Working with Ada 9X Classes. - Stéphane Barbey (TRI-Ada, 1994)

Testing Ada 95 Object-Oriented Programs. - Stéphane Barbey (Ada-Europe, 1995)

Ada 95 as implementation language for object-oriented designs. - Stéphane Barbey (TRI-Ada, 1995)

Experiences in object-oriented programming (panel session). - Stéphane Barbey; Bill Beckwith; David Weller; Brad Balfour (TRI-Ada, 1995)

Advanced Object-Oriented Features and Programming in Ada 95. - Stéphane Barbey; Magnus Kempe; A. Strohmeir (TRI-Ada Tutorials, 1995)

A Theory of Specification-Based Testing for Object-Oriented Software. - Stéphane Barbey; Didier Buchs; Cécile Péraire (EDCC, 1996)

Quality-for-ASIS: A Portable Testing Facility for ASIS. - Alfred Strohmeier; Vasiliy Fofanov; Sergey Rybin; Stéphane Barbey (Ada-Europe, 1998)

Test selection for object-oriented software based on formal specifications. - Cécile Péraire; Stéphane Barbey; Didier Buchs (PROCOMET, 1998)