Urmăriți
Thierry Jéron
Thierry Jéron
Univ Rennes, Inria, CNRS, IRISA
Adresă de e-mail confirmată pe inria.fr - Pagina de pornire
Titlu
Citat de
Citat de
Anul
TGV: theory, principles and algorithms
C Jard, T Jéron
International Journal on Software Tools for Technology Transfer (STTT) 7 (4 …, 2005
563*2005
Using on-the-fly verification techniques for the generation of test suites
JC Fernandez, C Jard, T Jéron, C Viho
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
2951996
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
2211997
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
2002000
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
1792006
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
Test generation derived from model-checking
T Jéron, P Morel
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
1671999
An approach to symbolic test generation
V Rusu, L Du Bousquet, T Jéron
Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000
1662000
Bounded-memory Algorithms for Verification On-the-fly
C Jard, T Jéron
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
1181992
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
1031992
On-line model-checking for finite linear temporal logic specifications
C Jard, T Jeron
Automatic Verification Methods for Finite State Systems, 189-196, 1989
1031989
Predictability of sequence patterns in discrete event systems
T Jéron, H Marchand, S Genc, S Lafortune
IFAC World Congress, 537-453, 2008
922008
Automated test generation from SDL specifications
A Kerbrat, T Jéron, R Groz
SDL'99, 135-151, 1999
861999
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
812007
Remote testing can be as powerful as local testing
C Jard, T Jéron, L Tanguy, C Viho
International Conference on Protocol Specification, Testing and Verification …, 1999
791999
Using UML for automatic test generation
A Cavarra, C Crichton, J Davies, A Hartman, L Mounier
Proceedings of ISSTA 15, 2002
752002
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
672007
Testing for unboundedness of fifo channels
T Jéron, C Jard
Theoretical Computer Science 113 (1), 93-117, 1993
631993
A general approach to trace-checking in distributed computing systems
C Jard, GV Jourdan, T Jéron, JX Rampon
14th International Conference on Distributed Computing Systems, 396-403, 1994
621994
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20