The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nikolai Kosmatov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002