BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Cyprus
1 × Estonia
1 × France
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × USA
1 × United Kingdom
3 × Italy
Collaborated with:
N.Kosmatov J.Julliand E.Tushkanova O.Kouchnarenko O.Chebaro G.Petiot C.Ringeissen I.Enderlin F.Dadeau G.Cécé J.Groslambert R.Genestier J.Couchot F.Bouquet A.B.Othman C.Marché
Talks about:
program (5) generat (5) test (5) base (4) analysi (3) deduct (3) verif (3) static (2) specif (2) combin (2)

Person: Alain Giorgetti

DBLP DBLP: Giorgetti:Alain

Contributed to:

TAP 20152015
TAP 20142014
RTA 20132013
ICST 20122012
SAC 20122012
WRLA 20122012
DLT 20112011
ICTSS 20112011
TAP 20112011
LDTA 20102010
TAP 20102010
FASE 20062006
ASE 20052005

Wrote 13 papers:

TAP-2015-GenestierGP #array #deduction #generative #verification
Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
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.
RTA-2013-TushkanovaRGK #automation #calculus #decidability
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators (ET, CR, AG, OK), pp. 303–318.
ICST-2012-EnderlinDGB #grammarware #php #testing #using
Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
SAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification
Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
WRLA-2012-TushkanovaGRK #framework #rule-based
A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.
DLT-2011-CeceG #2d #automaton #online #simulation
Simulations over Two-Dimensional On-Line Tessellation Automata (GC, AG), pp. 141–152.
ICTSS-2011-EnderlinDGO #contract #named #php #specification #testing
Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.
TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
LDTA-2010-GiorgettiMTK #case study #java #source code #specification
Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.
TAP-2010-ChebaroKGJ #c #debugging #generative #static analysis #testing
Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.
FASE-2006-GiorgettiG #generative #ml #named #verification
JAG: JML Annotation Generation for Verifying Temporal Properties (AG, JG), pp. 373–376.
ASE-2005-CouchotGK #approach #deduction #protocol #safety
A uniform deductive approach for parameterized protocol safety (JFC, AG, NK), pp. 364–367.

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.