Search the dblp DataBase

Publications of Author

1. Nikolai Kosmatov
   Constraint Solving for Sequences in Software Validation and Verification. [Citation Graph (0, 0)][DBLP]
   INAP, 2005, pp:25-37 [Conf]
   
2. Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting
   Boundary Coverage Criteria for Test Generation from Formal Models. [Citation Graph (0, 0)][DBLP]
   ISSRE, 2004, pp:139-150 [Conf]
   
3. Jean-Francois Couchot, Alain Giorgetti, Nikolai Kosmatov
   A uniform deductive approach for parameterized protocol safety. [Citation Graph (0, 0)][DBLP]
   ASE, 2005, pp:364-367 [Conf]
   
4. Nikolai Kosmatov
   A constraint solver for sequences and its applications. [Citation Graph (0, 0)][DBLP]
   SAC, 2006, pp:404-408 [Conf]
   
5. 
   Automating Structural Testing of C Programs: Experience with PathCrawler. [Citation Graph (, )][DBLP]
   
   
6. 
   All-Paths TestGenerationfor Programs with Internal Aliases. [Citation Graph (, )][DBLP]
   
   
7. 
   Combining Static Analysis and Test Generation for C Program Debugging. [Citation Graph (, )][DBLP]