English
Français
login
Menu
Search
Browse Collections
Help
English
Français
login
Testing Object-Oriented Software
Buchs, Didier
;
Péraire, Cécile
1999
Download
Formats
Format
BibTeX
View
Download
MARC
View
Download
MARCXML
View
Download
DublinCore
View
Download
EndNote
View
Download
NLM
View
Download
RefWorks
View
Download
RIS
View
Download
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
Tutorial
;
Test
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