Testing Object-Oriented Software
Buchs, Didier; Péraire, Cécile
1999

Files

Abstract

This tutorial describes the approach we develop for the formal testing of OO software. We also describe the operational techniques, that can be used, to select test cases.

Details

Title Testing Object-Oriented Software
Author(s) Buchs, Didier ; Péraire, Cécile
Published in Industry-Tutorial on Formal Methods and Testing, Formal Methods 99, Toulouse France
Date 1999
Keywords
Laboratories LGL
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published
Record creation date 2005-09-20

Actions