 | 2012 |
|---|
| 10 |       | Nikolai Kosmatov,
Nicky Williams,
Bernard Botella,
Muriel Roger,
Omar Chebaro:
A Lesson on Structural Testing with PathCrawler-online.com.
TAP 2012: 169-175 |
| 9 | | Nikolai Kosmatov,
Nicky Williams:
Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract).
TAP 2012: 176 |
| 2011 |
|---|
| 8 | | Omar Chebaro,
Nikolai Kosmatov,
Alain Giorgetti,
Jacques Julliand:
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.
TAP 2011: 78-83 |
| 2010 |
|---|
| 7 | | Omar Chebaro,
Nikolai Kosmatov,
Alain Giorgetti,
Jacques Julliand:
Combining Static Analysis and Test Generation for C Program Debugging.
TAP 2010: 94-100 |
| 2009 |
|---|
| 6 | | Bernard Botella,
Mickaël Delahaye,
Stéphane Hong Tuan Ha,
Nikolai Kosmatov,
Patricia Mouy,
Muriel Roger,
Nicky Williams:
Automating Structural Testing of C Programs: Experience with PathCrawler.
AST 2009: 70-78 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page