1998 |
7 | EE | Alfred Strohmeier,
Vasiliy Fofanov,
Sergey Rybin,
Stéphane Barbey:
Quality-for-ASIS: A Portable Testing Facility for ASIS.
Ada-Europe 1998: 163-175 |
6 | | Cécile Péraire,
Stéphane Barbey,
Didier Buchs:
Test selection for object-oriented software based on formal specifications.
PROCOMET 1998: 385-403 |
1996 |
5 | | Stéphane Barbey,
Didier Buchs,
Cécile Péraire:
A Theory of Specification-Based Testing for Object-Oriented Software.
EDCC 1996: 303-320 |
1995 |
4 | | Stéphane Barbey:
Testing Ada 95 Object-Oriented Programs.
Ada-Europe 1995: 406-418 |
3 | EE | Stéphane Barbey,
Magnus Kempe,
A. Strohmeir:
Advanced Object-Oriented Features and Programming in Ada 95.
TRI-Ada Tutorials 1995: 359-489 |
1994 |
2 | | Stéphane Barbey,
Didier Buchs:
Testing Ada Abstract Data Types Using Formal Specifications.
Ada-Europe 1994: 76-89 |
1 | EE | Stéphane Barbey:
Working with Ada 9X Classes.
TRI-Ada 1994: 129-140 |