Follow
Thierry Jéron
Thierry Jéron
Univ Rennes, Inria, CNRS, IRISA
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
TGV: theory, principles and algorithms
C Jard, T Jéron
International Journal on Software Tools for Technology Transfer (STTT) 7 (4 …, 2005
562*2005
Using on-the-fly verification techniques for the generation of test suites
JC Fernandez, C Jard, T Jéron, L Nedelka, C Viho
INRIA, 1996
2911996
An experiment in automatic generation of test suites for protocols with verification technology
JC Fernandez, C Jard, T Jeron, C Viho
Science of Computer Programming 29 (1-2), 123-146, 1997
2131997
Efficient object-oriented integration and regression testing
Y Le Traon, T Jéron, JM Jézéquel, P Morel
IEEE Transactions on Reliability 49 (1), 12-25, 2000
2032000
STG: A symbolic test generation tool
D Clarke, T Jéron, V Rusu, E Zinovieva
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
1692002
Supervision patterns in discrete event systems diagnosis
T Jéron, H Marchand, S Pinchinat, MO Cordier
2006 8th International Workshop on Discrete Event Systems, 262-268, 2006
1662006
An approach to symbolic test generation
V Rusu, L Du Bousquet, T Jéron
Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000
1662000
Test generation derived from model-checking
T Jéron, P Morel
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
1621999
Bounded-memory Algorithms for Verification On-the-fly
C Jard, T Jéron
Proc. of CAV 91, 192-202, 1992
1201992
Symbolic test selection based on approximate analysis
B Jeannet, T Jéron, V Rusu, E Zinovieva
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
1042005
On-the-fly verification of finite transition systems
JC Fernandez, C Jard, T Jéron, L Mounier
Formal Methods in System Design 1 (2/3), 251-273, 1992
1011992
On-line model-checking for finite linear temporal logic specifications
C Jard, T Jeron
Automatic Verification Methods for Finite State Systems, 189-196, 1989
1011989
Automated test generation from SDL specifications
A Kerbrat, T Jéron, R Groz
SDL'99, 135-151, 1999
891999
Predictability of sequence patterns in discrete event systems
T Jéron, H Marchand, S Genc, S Lafortune
IFAC World Congress, 537-453, 2008
832008
Integrating formal verification and conformance testing for reactive systems
C Constant, T Jéron, H Marchand, V Rusu
IEEE Transactions on Software Engineering 33 (8), 558-574, 2007
802007
Remote testing can be as powerful as local testing
C Jard, T Jéron, L Tanguy, C Viho
Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII …, 1999
771999
Using UML for automatic test generation
A Cavarra, C Crichton, J Davies, A Hartman, L Mounier
Proceedings of ISSTA 15, 2002
732002
Test synthesis from UML models of distributed software
S Pickin, C Jard, T Jéron, JM Jézéquel, Y Le Traon
IEEE Transactions on Software Engineering 33 (4), 252-269, 2007
642007
A general approach to trace-checking in distributed computing systems
C Jard, GV Jourdan, T Jeron, JX Rampon
14th International Conference on Distributed Computing Systems, 396-403, 1994
641994
Testing for unboundedness of fifo channels
T Jéron, C Jard
Theoretical Computer Science 113 (1), 93-117, 1993
611993
The system can't perform the operation now. Try again later.
Articles 1–20