| |
| 2008 | ||
|---|---|---|
| 5 | EE | Nikolai Kosmatov: All-Paths TestGenerationfor Programs with Internal Aliases. ISSRE 2008: 147-156 |
| 2006 | ||
| 4 | EE | Nikolai Kosmatov: A constraint solver for sequences and its applications. SAC 2006: 404-408 |
| 2005 | ||
| 3 | EE | Jean-Francois Couchot, Alain Giorgetti, Nikolai Kosmatov: A uniform deductive approach for parameterized protocol safety. ASE 2005: 364-367 |
| 2 | EE | Nikolai Kosmatov: Constraint Solving for Sequences in Software Validation and Verification. INAP 2005: 25-37 |
| 2004 | ||
| 1 | EE | Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting: Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE 2004: 139-150 |
| 1 | Jean-Francois Couchot | [3] |
| 2 | Alain Giorgetti | [3] |
| 3 | Bruno Legeard | [1] |
| 4 | Fabien Peureux | [1] |
| 5 | Mark Utting | [1] |