Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > GOURAUD Sandrine
About LRI
Mrs GOURAUD Sandrine

Warning: this member left the laboratory on 30/09/2008
 
GOURAUD Maître de Conférences
Université Paris-Saclay
Formal Testing and System Exploration

Tel : +33 (0) 1.72.92.59.57
Fax :
Office :

Personal web page : http://www.lri.fr/~gouraud/
Email : gouraud@lri.fr

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

Publications







Software & Patents
   - AuGuSTe: Statistical Testing of C Programs
   - sALLUSTe: Statistical Testing based on Lustre Descriptions


Ph.D. dissertations & Faculty habilitations
Ph.D   - Using Combinatorial Structures for Statistical Testing

Contracts & Grants
   - WebMov
   - Software Factory