SCEAS

The SCEAS System

Title:
Author:

Stéphane Barbey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP