TGV: theory, principles and algorithms C Jard, T Jéron International Journal on Software Tools for Technology Transfer (STTT) 7 (4 …, 2005 | 564* | 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 | 295 | 1996 |
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 | 225 | 1997 |
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 | 201 | 2000 |
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 | 178 | 2006 |
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 | 170 | 2002 |
Test generation derived from model-checking T Jéron, P Morel Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 168 | 1999 |
An approach to symbolic test generation V Rusu, L Du Bousquet, T Jéron Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000 | 164 | 2000 |
Bounded-memory Algorithms for Verification On-the-fly C Jard, T Jéron Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992 | 119 | 1992 |
On-line model-checking for finite linear temporal logic specifications C Jard, T Jeron Automatic Verification Methods for Finite State Systems, 189-196, 1989 | 104 | 1989 |
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 | 103 | 2005 |
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 | 101 | 1992 |
Predictability of sequence patterns in discrete event systems T Jéron, H Marchand, S Genc, S Lafortune IFAC World Congress, 537-453, 2008 | 93 | 2008 |
Automated test generation from SDL specifications A Kerbrat, T Jéron, R Groz SDL'99, 135-151, 1999 | 86 | 1999 |
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 | 83 | 2007 |
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 | 80 | 1999 |
Using UML for automatic test generation A Cavarra, C Crichton, J Davies, A Hartman, L Mounier Proceedings of ISSTA 15, 2002 | 75 | 2002 |
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 | 68 | 2007 |
Testing for unboundedness of fifo channels T Jéron, C Jard Theoretical Computer Science 113 (1), 93-117, 1993 | 62 | 1993 |
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 | 61 | 1994 |