| |
| 2000 | ||
|---|---|---|
| 3 | Claude Jard, Thierry Jéron, Pierre Morel: Verification of Test Suites. TestCom 2000: 3-18 | |
| 2 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier: Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36(1): 27-52 (2000) | |
| 1999 | ||
| 1 | EE | Thierry Jéron, Pierre Morel: Test Generation Derived from Model-Checking. CAV 1999: 108-121 |
| 1 | Marius Bozga | [2] |
| 2 | Jean-Claude Fernandez | [2] |
| 3 | Lucian Ghirvu | [2] |
| 4 | Claude Jard | [2] [3] |
| 5 | Thierry Jéron | [1] [2] [3] |
| 6 | Alain Kerbrat | [2] |
| 7 | Laurent Mounier | [2] |