| 2007 |
|---|
| 37 | EE | Camille Constant,
Bertrand Jeannet,
Thierry Jéron:
Automatic Test Generation from Interprocedural Specifications.
TestCom/FATES 2007: 41-57 |
| 36 | EE | Simon Pickin,
Claude Jard,
Thierry Jéron,
Jean-Marc Jézéquel,
Yves Le Traon:
Test Synthesis from UML Models of Distributed Software.
IEEE Trans. Software Eng. 33(4): 252-269 (2007) |
| 35 | EE | Camille Constant,
Thierry Jéron,
Hervé Marchand,
Vlad Rusu:
Integrating formal verification and conformance testing for reactive systems.
IEEE Trans. Software Eng. 33(8): 558-574 (2007) |
| 2006 |
|---|
| 34 | EE | Tristan Le Gall,
Bertrand Jeannet,
Thierry Jéron:
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.
AMAST 2006: 204-219 |
| 33 | EE | Thierry Jéron:
Model-Based Test Selection for Infinite State Reactive Systems.
DIPES 2006: 35-44 |
| 32 | EE | Bertrand Jeannet,
Thierry Jéron,
Vlad Rusu:
Model-Based Test Selection for Infinite-State Reactive Systems.
FMCO 2006: 47-69 |
| 31 | EE | Thierry Jéron,
Hervé Marchand,
Vlad Rusu:
Symbolic Determinisation of Extended Automata.
IFIP TCS 2006: 197-212 |
| 2005 |
|---|
| 30 | EE | Vlad Rusu,
Hervé Marchand,
Thierry Jéron:
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.
FM 2005: 189-204 |
| 29 | EE | Bertrand Jeannet,
Thierry Jéron,
Vlad Rusu,
Elena Zinovieva:
Symbolic Test Selection Based on Approximate Analysis.
TACAS 2005: 349-364 |
| 28 | EE | Claude Jard,
Thierry Jéron:
TGV: theory, principles and algorithms.
STTT 7(4): 297-315 (2005) |
| 2004 |
|---|
| 27 | EE | Vlad Rusu,
Hervé Marchand,
Valéry Tschaen,
Thierry Jéron,
Bertrand Jeannet:
From Safety Verification to Safety Testing.
TestCom 2004: 160-176 |
| 2003 |
|---|
| 26 | EE | Ahmed Khoumsi,
Thierry Jéron,
Hervé Marchand:
Test Cases Generation for Nondeterministic Real-Time Systems.
FATES 2003: 131-146 |
| 2002 |
|---|
| 25 | EE | Simon Pickin,
Claude Jard,
Yves Le Traon,
Thierry Jéron,
Jean-Marc Jézéquel,
Alain Le Guennec:
System Test Synthesis from UML Models of Distributed Software.
FORTE 2002: 97-113 |
| 24 | EE | Duncan Clarke,
Thierry Jéron,
Vlad Rusu,
Elena Zinovieva:
STG: A Symbolic Test Generation Tool.
TACAS 2002: 470-475 |
| 23 | EE | Thierry Jéron:
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs.
Technique et Science Informatiques 21(9): 1265-1294 (2002) |
| 2001 |
|---|
| 22 | EE | Duncan Clarke,
Thierry Jéron,
Vlad Rusu,
Elena Zinovieva:
Automated Test and Oracle Generation for Smart-Card Applications.
E-smart 2001: 58-70 |
| 21 | EE | Duncan Clarke,
Thierry Jéron,
Vlad Rusu,
Elena Zinovieva:
STG: a tool for generating symbolic test programs and oracles from operational specifications.
ESEC / SIGSOFT FSE 2001: 301-302 |
| 2000 |
|---|
| 20 | EE | Vlad Rusu,
Lydie du Bousquet,
Thierry Jéron:
An Approach to Symbolic Test Generation.
IFM 2000: 338-357 |
| 19 | | Claude Jard,
Thierry Jéron,
Pierre Morel:
Verification of Test Suites.
TestCom 2000: 3-18 |
| 18 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Claude Jard,
Thierry Jéron,
Alain Kerbrat,
Pierre Morel,
Laurent Mounier:
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program. 36(1): 27-52 (2000) |
| 1999 |
|---|
| 17 | EE | Thierry Jéron,
Pierre Morel:
Test Generation Derived from Model-Checking.
CAV 1999: 108-121 |
| 16 | | Claude Jard,
Thierry Jéron,
Lénaick Tanguy,
César Viho:
Remote testin can be as powerful as local testing.
FORTE 1999: 25-40 |
| 15 | | Alain Kerbrat,
Thierry Jéron,
Roland Groz:
Automated test generation from SDL specifications.
SDL Forum 1999: 135-152 |
| 1998 |
|---|
| 14 | | Claude Jard,
Thierry Jéron,
Hakim Kahlouche,
César Viho:
Towards Automatic Distribution of Testers for Distributed Conformance Testing.
FORTE 1998: 353-368 |
| 13 | EE | Thierry Jéron,
Jean-Marc Jézéquel,
Alain Le Guennec:
Validation and Test Generation for Object-Oriented Distributed Software.
PDSE 1998: 51-60 |
| 1997 |
|---|
| 12 | | Jean-Claude Fernandez,
Claude Jard,
Thierry Jéron,
César Viho:
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology.
Sci. Comput. Program. 29(1-2): 123-146 (1997) |
| 1996 |
|---|
| 11 | | Jean-Claude Fernandez,
Claude Jard,
Thierry Jéron,
César Viho:
Using On-The-Fly Verification Techniques for the Generation of test Suites.
CAV 1996: 348-359 |
| 10 | | Yves-Marie Quemener,
Thierry Jéron:
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars.
FORTE 1996: 364-379 |
| 1995 |
|---|
| 9 | EE | Yves-Marie Quemener,
Thierry Jéron:
Model-checking of infinite Kripke structures defined by simple graph grammars.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 1994 |
|---|
| 8 | | Thierry Jéron,
Claude Jard:
3D Layout of Reachability Graphs of Communicating Processes.
Graph Drawing 1994: 25-32 |
| 7 | | Claude Jard,
Thierry Jéron,
Guy-Vincent Jourdan,
Jean-Xavier Rampon:
A General Approach to Trace-Checking in Distributed Computing Systems.
ICDCS 1994: 396-403 |
| 1993 |
|---|
| 6 | | Thierry Jéron,
Claude Jard:
Testing for Unboundedness of FIFO Channels.
Theor. Comput. Sci. 113(1): 93-117 (1993) |
| 1992 |
|---|
| 5 | | Jean-Claude Fernandez,
Laurent Mounier,
Claude Jard,
Thierry Jéron:
On-the-fly Verification of Finite Transition Systems.
Formal Methods in System Design 1(2/3): 251-273 (1992) |
| 1991 |
|---|
| 4 | | Claude Jard,
Thierry Jéron:
Bounded-memory Algorithms for Verification On-the-fly.
CAV 1991: 192-202 |
| 3 | | Thierry Jéron:
Testing for Unboundedness of FIFO Channels.
STACS 1991: 322-333 |
| 2 | | Thierry Jéron:
Prototype of a Verification Tool.
STACS 1991: 541-542 |
| 1989 |
|---|
| 1 | | Claude Jard,
Thierry Jéron:
On-Line Model Checking for Finite Linear Temporal Logic Specifications.
Automatic Verification Methods for Finite State Systems 1989: 189-196 |
