Statistics
Publications
2
Citations
33
H-Index
2
Active since
2014
Guillaume Petiot is an author at Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies specializing in computing, software testing, and specification languages.
Publications per year
2014–2018
2
2
Instrumentation of Annotated C Programs for Test Generation
Guillaume Petiot, Bernard Botella, Jacques Julliand et al. · 2014 · 17 citations
How testing helps to diagnose proof failures
Guillaume Petiot, Nikolaï Kosmatov, Bernard Botella et al. · Formal Aspects of Computing · 2018 · 16 citations
1–2 of 2