![]() | ![]() |
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] |