Thierry Jéron

发表

Verification of Test Suites

Thierry Jéron, Claude Jard, Pierre Morel, 2000, TestCom.

An Approach to Symbolic Test Generation

Thierry Jéron, Lydie du Bousquet, Vlad Rusu, 2000, IFM.

On-the-fly verification of finite transition systems

C. Jard, T. Jéron, L. Mounier, 1992, Formal Methods Syst. Des..

Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

Thierry Jéron, Martin Quinson, The Anh Pham, 2019, FORTE.

TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

Thierry Jéron, Claude Jard, C. Jard, 2004 .

The V 3 F Project

Bertrand Jeannet, T. Jéron, Bruno Legeard, 2022 .

Program Committee Additional Reviewers Extending a Cp Solver with Congruences as Domains for Program Verification Requirements for Constraint Solvers in Verification of Data-intensive Embedded System Software a Symbolic Intruder Model for Hash-collision Attacks Strategy for Flaws Detection Based on

M. Rusinowitch, A. Podelski, Bertrand Jeannet, 2022 .

An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology

Thierry Jéron, Claude Jard, César Viho, 1997, Sci. Comput. Program..

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, 2006, AMAST.

Testing for Unboundedness of FIFO Channels

Thierry Jéron, C. Jard, Thierry Jéron, 1991, Theor. Comput. Sci..

Automatic Test Generation from Interprocedural Specifications

Bertrand Jeannet, Thierry Jéron, Camille Constant, 2007, TestCom/FATES.

Symbolic Test Selection Based on Approximate Analysis

Bertrand Jeannet, Thierry Jéron, Vlad Rusu, 2005, TACAS.

STG: A Symbolic Test Generation Tool

Duncan Clarke, Thierry Jéron, Vlad Rusu, 2002, TACAS.

Automated test generation from SDL specifications

Thierry Jéron, Alain Kerbrat, Roland Groz, 1999, SDL Forum.

Efficient object-oriented integration and regression testing

Jean-Marc Jézéquel, Yves Le Traon, Thierry Jéron, 2000, IEEE Trans. Reliab..

Verification and test generation for the SSCOP protocol

Thierry Jéron, Claude Jard, Alain Kerbrat, 2000, Sci. Comput. Program..

Towards Automatic Distribution of Testers for Distributed Conformance Testing

Thierry Jéron, Claude Jard, César Viho, 1998, FORTE.

Using On-The-Fly Verification Techniques for the Generation of test Suites

Thierry Jéron, Claude Jard, César Viho, 1996, CAV.

An Educational Case Study in Protocol Verification and Distributed Observation

Thierry Jéron, Claude Jard, C. Jard, 2000, Comput. Sci. Educ..

Validation and Test Generation for Object-Oriented Distributed Software

Jean-Marc Jézéquel, Thierry Jéron, Alain Le Guennec, 1998, PDSE.

On-Line Model Checking for Finite Linear Temporal Logic Specifications

Thierry Jéron, Claude Jard, C. Jard, 1989, Automatic Verification Methods for Finite State Systems.

Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars

Thierry Jéron, Yves-Marie Quemener, T. Jéron, 1996, FORTE.

Test Synthesis from UML Models of Distributed Software

Jean-Marc Jézéquel, Yves Le Traon, Simon Pickin, 2007, IEEE Transactions on Software Engineering.

System Test Synthesis from UML Models of Distributed Software

C. Jard, Y. L. Traon, J. Jézéquel, 2002, FORTE.

A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

C. Jard, Thierry Jéron, 2005 .

Control strategies for off-line testing of timed systems

Thierry Jéron, Nicolas Markey, Léo Henry, 2018, Formal Methods in System Design.

Optimal enforcement of (timed) properties with uncontrollable events

Thierry Jéron, Yliès Falcone, Hervé Marchand, 2017, Mathematical Structures in Computer Science.

Predictive runtime verification of timed properties

Thierry Jéron, Stavros Tripakis, Yliès Falcone, 2017, J. Syst. Softw..