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