Catherine Oriat

Recherche

Thèmes de recherche

• Test
• Test aléatoire de programmes Java : Outil Jartege
• Inférence d'automates