Travelled to:
1 × Canada
1 × Finland
1 × France
1 × Italy
1 × Switzerland
1 × USA
2 × Spain
3 × Germany
3 × United Kingdom
Collaborated with:
P.Masson N.Kosmatov A.Giorgetti O.Chebaro F.Dadeau H.Mountassir P.Bué F.Bellegarde O.Kouchnarenko G.Petiot K.C.Castillos S.Taha H.Bride N.Stouls F.Bouquet J.Groslambert C.Darlot B.Botella J.Signoles B.Kanso J.Plessis E.Jaffuel G.Debois
Talks about:
test (11) generat (9) properti (7) program (5) verif (4) model (4) modular (3) analysi (3) combin (3) dynam (3)
Person: Jacques Julliand
DBLP: Julliand:Jacques
Facilitated 1 volumes:
Contributed to:
Wrote 16 papers:
- SAC-2015-BrideJM #approximate #generative #testing
- Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
- 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.
- IFM-2013-CastillosDJKT #composition #semantics
- A Compositional Automata-Based Semantics for Property Patterns (KCC, FD, JJ, BK, ST), pp. 316–330.
- 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.
- ICTSS-2011-CastillosDJT #modelling #ocl #testing #uml
- Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.
- TAP-2011-BueJM #approximate #generative #modelling #testing
- Association of Under-Approximation Techniques for Generating Tests from Models (PCB, JJ, PAM), pp. 51–68.
- 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.
- 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.
- TAP-2010-JulliandSBM #abstraction #modelling #testing
- Syntactic Abstraction of B Models to Generate Tests (JJ, NS, PCB, PAM), pp. 151–166.
- A-MOST-2007-MassonJPJD #automation #generative #modelling #security #testing
- Automatic generation of model based tests for a class of security properties (PAM, JJ, JCP, EJ, GD), pp. 12–22.
- FATES-RV-2006-BouquetDGJ #generative #safety #testing
- Safety Property Driven Test Generation from (FB, FD, JG, JJ), pp. 225–239.
- FME-2001-BellegardeDJK #named #refinement
- Reformulation: A Way to Combine Dynamic Properties and B Refinement (FB, CD, JJ, OK), pp. 2–19.
- FASE-2000-BellegardeJK #composition #refinement
- Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.
- IFM-2000-MassonMJ #composition #verification
- Modular Verification for a Class of PLTL Properties (PAM, HM, JJ), pp. 398–419.
- IFM-1999-JulliandMM #composition #verification
- Modular Verification of Dynamic Properties for Reactive Systems (JJ, PAM, HM), pp. 89–108.