Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Ph.D de

Ph.D
Group : Formal Testing and System Exploration

Contributions to software testing based on formal specifications

Starts on
Advisor : GAUDEL, Marie-Claude

Funding : MRT
Affiliation : Université Paris-Saclay
Laboratory : LRI

Defended on 21/10/2005, committee :
Brigitte Rozoy, Ana Cavalli, Richard Castanet, Thiérry Jéron, Bruno Marre, Marie-Claude Gaudel

Research activities :
   - Software Testing
   - Formal Methods for Software Engineering

Abstract :


More information: http://www.lri.fr/~lestienn/Publi/These.ps