Concepedia

Author

Guillaume Petiot

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Also Known As

Guillaume Petiot, Petiot, Guillaume

31

Publications

181

Citations

9

H-Index

17

Concepts

All Affiliations

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et TechnologiesLaboratoire d'Intégration des Systèmes et des TechnologiesCommissariat à l'Énergie Atomique et aux Énergies Alternatives
GP

About

Guillaume Petiot is an author at Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies specializing in computer science, software verification, and software design.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

17

2

Computer Engineering

1

1

17

3

Computer Science

1

1

17

4

Software Analysis

1

1

17

5

Software Engineering

1

1

17

Guillaume Petiot

×

2

Publications

31

Citations

2

H-Index

YearCitations

Instrumentation of Annotated C Programs for Test Generation

Guillaume Petiot, Bernard Botella, Jacques Julliand,

2014

17

How testing helps to diagnose proof failures

Guillaume Petiot, Nikolaï Kosmatov, Bernard Botella,

Formal Aspects of Computing

2018

14

Page 1