BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Petiot:Guillaume

Contributed to:

TAP 20152015
SCAM 20142014
TAP 20142014

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.