 |
 |
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
|
