Thierry Jéron
Thierry Jéron
Univ Rennes, Inria, CNRS, IRISA
Vahvistettu sähköpostiosoite verkkotunnuksessa inria.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
TGV: theory, principles and algorithms
C Jard, T Jéron
International Journal on Software Tools for Technology Transfer (STTT) 7 (4 …, 2005
5322005
Using on-the-fly verification techniques for the generation of test suites
JC Fernandez, C Jard, T Jéron, C Viho
International Conference on Computer Aided Verification, 348-359, 1996
2821996
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
2101997
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
1782000
STG: A symbolic test generation tool
D Clarke, T Jéron, V Rusu, E Zinovieva
International Conference on Tools and Algorithms for the Construction and …, 2002
1572002
An approach to symbolic test generation
V Rusu, L Du Bousquet, T Jéron
International Conference on Integrated Formal Methods, 338-357, 2000
1562000
Test generation derived from model-checking
T Jéron, P Morel
International Conference on Computer Aided Verification, 108-122, 1999
1531999
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
1492006
Bounded-memory Algorithms for Verification On-the-fly
C Jard, T Jéron
International Conference on Computer Aided Verification, 192-202, 1991
1141991
Symbolic test selection based on approximate analysis
B Jeannet, T Jéron, V Rusu, E Zinovieva
International Conference on Tools and Algorithms for the Construction and …, 2005
1022005
On-line model-checking for finite linear temporal logic specifications
C Jard, T Jeron
Automatic Verification Methods for Finite State Systems, 189-196, 1989
1021989
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
971992
Automated test generation from SDL specifications
A Kerbrat, T Jéron, R Groz
SDL'99, 135-151, 1999
831999
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, 25-40, 1999
771999
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
762007
Predictability of sequence patterns in discrete event systems
T Jéron, H Marchand, S Genc, S Lafortune
IFAC World Congress, 537-453, 2008
712008
Using UML for automatic test generation
A Cavarra, C Crichton, J Davies, A Hartman, L Mounier
Proceedings of ISSTA 15, 2002
662002
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
632007
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
631994
Testing for unboundedness of fifo channels
T Jéron, C Jard
Theoretical Computer Science 113 (1), 93-117, 1993
581993
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20