Jacques Julliand

Publication Activity (10 Years)

Years Active: 1981-2018
Publications (10 Years): 13

Top Topics

Static Analysis

Mutation Testing

Top Venues

Softw. Test. Verification Reliab.

Publications

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Test Generation from Event System Abstractions to Cover Their States and Transitions. Program. Comput. Softw. 44 (1) (2018)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Under-Approximation Generation Driven by Relevance Predicates and Variants. TAP@STAF (2018)
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
How testing helps to diagnose proof failures. Formal Aspects Comput. 30 (6) (2018)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Approximating Event System Abstractions by Covering Their States and Transitions. Ershov Informatics Conference (2017)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? TASE (2017)
Hadrien Bride, Jacques Julliand, Pierre-Alain Masson
Tri-modal under-approximation for test generation. Sci. Comput. Program. 132 (2016)
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
Your Proof Fails? Testing Helps to Find the Reason. TAP@STAF (2016)
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. WETICE (2016)
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
Test generation from timed pushdown automata with inputs and outputs. ICST Workshops (2015)
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
Your Proof Fails? Testing Helps to Find the Reason. CoRR (2015)
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. WETICE (2015)
Hadrien Bride, Jacques Julliand, Pierre-Alain Masson
Tri-modal under-approximation of event systems for test generation. SAC (2015)
Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso
A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects Comput. 27 (4) (2015)
Achim D. Brucker, Jacques Julliand
Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. Softw. Test. Verification Reliab. 24 (7) (2014)
Achim D. Brucker, Jacques Julliand
Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites. Softw. Test. Verification Reliab. 24 (8) (2014)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
Coverage Criteria for Model-Based Testing using Property Patterns. MBT (2014)
Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
How Test Generation Helps Software Specification and Deductive Verification in Frama-C. TAP@STAF (2014)
Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles
Instrumentation of Annotated C Programs for Test Generation. SCAM (2014)
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
B model slicing and predicate abstraction to generate tests. Softw. Qual. J. 21 (1) (2013)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
A Compositional Automata-Based Semantics for Property Patterns. IFM (2013)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
Program slicing enhances a verification technique combining static and dynamic analysis. SAC (2012)
Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
Association of Under-Approximation Techniques for Generating Tests from Models. TAP@TOOLS (2011)
Jacques Julliand, Hassan Mountassir, Emilie Oudot
Incremental verification of component-based timed systems. Int. J. Comput. Appl. Technol. 42 (2/3) (2011)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. TAP@TOOLS (2011)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. Int. J. Softw. Tools Technol. Transf. 13 (5) (2011)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS (2011)
Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué
Generating tests from B specifications and dynamic selection criteria. Formal Aspects Comput. 23 (1) (2011)
Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. ICST Workshops (2010)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
Combining Static Analysis and Test Generation for C Program Debugging. TAP@TOOLS (2010)
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
Syntactic Abstraction of B Models to Generate Tests CoRR (2010)
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
B Model Abstraction Combining Syntactic and Semantic Methods. ASM (2010)
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
Syntactic Abstraction of B Models to Generate Tests. TAP@TOOLS (2010)
Jacques Julliand, Pierre-Alain Masson, Emilie Oudot
Partitioned PLTL model-checking for refined transition systems. Inf. Comput. 207 (6) (2009)
Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
Verification of class liveness properties with java modelling language. IET Softw. 2 (6) (2008)
Jacques Julliand, Pierre-Alain Masson, Régis Tissot
Generating Tests from B Specifications and Test Purposes. ABZ (2008)
Jacques Julliand, Pierre-Alain Masson, Régis Tissot
Generating Security Tests in Addition to Functional Tests. AST (2008)
Jacques Julliand, Hassan Mountassir, Emilie Oudot
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. ICFEM (2007)
Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois
Automatic generation of model based tests for a class of security properties. A-MOST (2007)
Jacques Julliand, Hassan Mountassir, Emilie Oudot
Preservation of timed properties during an incremental development by components. ISoLA (2007)
Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE (2006)
Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
Experiments in the use of τ-simulations for the components-verification of real-time systems. SAVCBS@FSE (2006)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
Safety Property Driven Test Generation from. FATES/RV (2006)
Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
On the Contribution of a tau. Electron. Notes Theor. Comput. Sci. 160 (2006)
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions CoRR (2006)
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
PLTL-partitioned model checking for reactive systems under fairness assumptions. ACM Trans. Embed. Comput. Syst. 4 (2) (2005)
Françoise Bellegarde, Samir Chouali, Jacques Julliand
Refinemant verification of fair transition systems can contribute to PLTL model checking. MEMOCODE (2005)
Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Refinement Preserves PLTL Properties. ZB (2003)
Françoise Bellegarde, Samir Chouali, Jacques Julliand
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. ZB (2002)
Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Synchronized Parallel Composition of Event Systems in B. ZB (2002)
Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME (2001)
Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand
Modular Verification for a Class of PLTL Properties. IFM (2000)
Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE (2000)
Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB (2000)
Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir
Modular Verification of Dynamic Properties for Reactive Systems. IFM (1999)
Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. B (1998)
R. Bigeard, M. Devel, Jacques Julliand
Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images. HPCN Europe (1997)
Jacques Julliand, Béatrice Markhoff
Functional Programming on MIMD. Parallel and Distributed Computing and Systems (1995)
Marie-Christine Eglin-Leclerc, Jacques Julliand
Compilation of Equational System into Communicating Processes. Applied Informatics (1994)
Marie-Christine Eglin-Leclerc, Jacques Julliand, Guy-René Perrin
How to Compile Systems of Recurrence Equations into Networks of Communicating Processes. CONPAR (1992)
Jacques Julliand, Guy-René Perrin
Asynchronous Functional Parallel Programs. ICCI (1990)
Jacques Julliand, Guy-René Perrin
Design and development of concurrent programs. CONPAR (1981)