팔로우
Thierry Jéron
Thierry Jéron
Univ Rennes, Inria, CNRS, IRISA
inria.fr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
TGV: theory, principles and algorithms
C Jard, T Jéron
International Journal on Software Tools for Technology Transfer (STTT) 7 (4 …, 2005
567*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
2251997
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
2012000
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
1702002
Test generation derived from model-checking
T Jéron, P Morel
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
1681999
An approach to symbolic test generation
V Rusu, L Du Bousquet, T Jéron
Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000
1642000
Bounded-memory Algorithms for Verification On-the-fly
C Jard, T Jéron
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
1191992
On-line model-checking for finite linear temporal logic specifications
C Jard, T Jeron
Automatic Verification Methods for Finite State Systems, 189-196, 1989
1041989
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
1032005
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
Predictability of sequence patterns in discrete event systems
T Jéron, H Marchand, S Genc, S Lafortune
IFAC World Congress, 537-453, 2008
932008
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
842007
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
801999
Using UML for automatic test generation
A Cavarra, C Crichton, J Davies, A Hartman, L Mounier
Proceedings of ISSTA 15, 2002
762002
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
692007
Predictive runtime verification of timed properties
S Pinisetty, T Jéron, S Tripakis, Y Falcone, H Marchand, V Preoteasa
Journal of Systems and Software 132, 353-365, 2017
632017
Testing for unboundedness of fifo channels
T Jéron, C Jard
Theoretical Computer Science 113 (1), 93-117, 1993
621993
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20