Thierry Jéron

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France

Others

AD Scientific Index ID: 4419819

French National Institute for Research in Computer Science and Control

Registration, Add Profile,
Premium Membership

Print Your Certificate

Thierry Jéron's MOST POPULAR ARTICLES

1-) TGV: theory, principles and algorithmsC Jard, T JéronInternational Journal on Software Tools for Technology Transfer (STTT) 7 (4 …, 20055502005

2-) Using on-the-fly verification techniques for the generation of test suitesJC Fernandez, C Jard, T Jéron, C VihoInternational Conference on Computer Aided Verification, 348-359, 19962891996

3-) An experiment in automatic generation of test suites for protocols with verification technologyJC Fernandez, C Jard, T Jeron, C VihoScience of Computer Programming 29 (1-2), 123-146, 19972081997

4-) Efficient object-oriented integration and regression testingY Le Traon, T Jéron, JM Jézéquel, P MorelIEEE Transactions on Reliability 49 (1), 12-25, 20002052000

5-) Supervision patterns in discrete event systems diagnosisT Jéron, H Marchand, S Pinchinat, MO Cordier2006 8th International Workshop on Discrete Event Systems, 262-268, 20061872006

ARTICLES

Add your articles