Travelled to:1 × Canada
1 × Italy
1 × United Kingdom
Collaborated with:A.Giorgetti J.Julliand N.Kosmatov R.Genestier B.Botella J.Signoles
Talks about:generat (3) deduct (2) verif (2) test (2) instrument (1) structur (1) sequenti (1) softwar (1) program (1) specif (1)
Person: Guillaume Petiot
DBLP: Petiot:Guillaume
Contributed to:
2015
20142014Wrote 3 papers:
- TAP-2015-GenestierGP #array #deduction #generative #verification
- Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
- SCAM-2014-PetiotBJKS #c #generative #source code #testing
- Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
- TAP-2014-PetiotKGJ #deduction #generative #how #specification #testing #verification
- How Test Generation Helps Software Specification and Deductive Verification in Frama-C (GP, NK, AG, JJ), pp. 204–211.