| The problematics of testing object-oriented software S Barbey, A Strohmeier WIT Transactions on Information and Communication Technologies 9, 1994 | 85* | 1994 |
| A theory of specification-based testing for object-oriented software S Barbey, D Buchs, C Péraire Dependable Computing—EDCC-2: Second European Dependable Computing …, 1996 | 75 | 1996 |
| Open issues in testing object-oriented software S Barbey, M Ammann, A Strohmeier ECSQ'94 (European Conference on Software Quality), Basel, Switzerland …, 1994 | 36 | 1994 |
| Test selection for object-oriented software based on formal specifications C Péraire, S Barbey, D Buchs Programming Concepts and Methods PROCOMET’98: IFIP TC2/WG2. 2, 2.3 …, 1998 | 33 | 1998 |
| Testing Ada abstract data types using formal specifications S Barbey, D Buchs Ada in Europe: First International Eurospace-Ada-Europe Symposium Copenhagen …, 1994 | 32 | 1994 |
| Test selection for specification-based unit testing of object-oriented software based on formal specifications S Barbey Verlag nicht ermittelbar, 1997 | 27 | 1997 |
| Modelling the production cell case study using the fusion method S Barbey, D Buchs, C Péraire | 10 | 1998 |
| Testing Ada 95 object-oriented programs S Barbey Ada in Europe: Second International Eurospace—Ada-Europe Symposium …, 1996 | 9 | 1996 |
| Overview and theory for unit testing of object-oriented software S Barbey, D Buchs, C Péraire Tagungsband" Qualitätsmanagement der objektorientierten Software-Entwicklung …, 1996 | 8 | 1996 |
| Working with Ada 9X classes S Barbey Proceedings of the conference on TRI-Ada'94, 129-140, 1994 | 8 | 1994 |
| Object-oriented programming with Ada 9X S Barbey, M Kempe, A Strohmeier TSI-Technique et Science Informatiques-RAIRO 13 (5), 639-670, 1994 | 8 | 1994 |
| From requirements to tests via object-oriented design S Barbey, D Buchs, MC Gaudel, B Marre, C Péraire, P Thévenod-Fosse, ... Published in DeVa Third Year Report, 331-384, 1998 | 6 | 1998 |
| Ada 95 as implementation language for object-oriented designs S Barbey Proceedings of the conference on TRI-Ada'95: Ada's role in global markets …, 1995 | 5 | 1995 |
| A case study for testing object-oriented software: A production cell S Barbey, D Buchs, C Péraire Swiss Federal Institute of Technology, 1998 | 4 | 1998 |
| Advanced object-oriented programming with Ada 95 S Barbey, M Kempe, A Strohmeier Ada-Europe'95, Frankfurt (Germany), October 2-6 1995, 1995 | 4 | 1995 |
| Programmation par objets avec Ada 9X S Barbey, M Kempe, A Strohmeier | 4 | 1994 |
| Object-oriented programming and reuse in Ada 9X S Barbey, M Kempe, A Strohmeier TRI-Ada 1993 Tutorials Volume 2, Seattle, Washington, USA, September 18-23 …, 1993 | 4 | 1993 |
| Quality-for-ASIS: A portable testing facility for ASIS A Strohmeier, V Fofanov, S Rybin, S Barbey Reliable Software Technologies—Ada-Europe: 1998 Ada-Europe International …, 1998 | 3 | 1998 |
| Implementing associations with Ada C Jean-Pousin, S Barbey Software Engineering & its Applications 1993, Paris, France, November 15-19 …, 1993 | 3 | 1993 |
| Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications S Barbey, D Buchs, C Péraire, A Strohmeier | 1 | 1998 |
