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