| TGV: theory, principles and algorithms C Jard, T Jéron International Journal on Software Tools for Technology Transfer (STTT) 7 (4 …, 2005 | 526 | 2005 |
| 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 | 282 | 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 | 207 | 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 | 178 | 2000 |
| 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 | 155 | 2002 |
| An approach to symbolic test generation V Rusu, L Du Bousquet, T Jéron International Conference on Integrated Formal Methods, 338-357, 2000 | 155 | 2000 |
| Test generation derived from model-checking T Jéron, P Morel International Conference on Computer Aided Verification, 108-122, 1999 | 150 | 1999 |
| 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 | 145 | 2006 |
| Bounded-memory Algorithms for Verification On-the-fly C Jard, T Jéron International Conference on Computer Aided Verification, 192-202, 1991 | 114 | 1991 |
| 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 | 103 | 2005 |
| On-line model-checking for finite linear temporal logic specifications C Jard, T Jeron Automatic Verification Methods for Finite State Systems, 189-196, 1989 | 98 | 1989 |
| 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 | 95 | 1992 |
| Automated test generation from SDL specifications A Kerbrat, T Jéron, R Groz SDL'99, 135-151, 1999 | 80 | 1999 |
| 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 | 77 | 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 | 72 | 2007 |
| Predictability of sequence patterns in discrete event systems T Jéron, H Marchand, S Genc, S Lafortune IFAC World Congress, 537-453, 2008 | 67 | 2008 |
| 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 | 64 | 2007 |
| Using UML for automatic test generation A Cavarra, C Crichton, J Davies, A Hartman, L Mounier Proceedings of ISSTA 15, 2002 | 63 | 2002 |
| 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 | 62 | 1994 |
| Test cases generation for nondeterministic real-time systems A Khoumsi, T Jéron, H Marchand International Workshop on Formal Approaches to Software Testing, 131-146, 2003 | 57 | 2003 |
Hervé MarchandUniv Rennes, Inria, CNRS, IRISAE-mail confirmado em inria.fr
