Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

3 Results
Author: personID (integer) : 944685

A Late Treatment of C Precondition in Dynamic Symbolic Execution

Mickaël Delahaye , Nikolai Kosmatov
CSTVA 2013 - 5th International Workshop on Constraints in Software Testing, Verification, and Analysis, Aug 2013, Luxembourg, Luxembourg. pp.230-231, ⟨10.1109/ICSTW.2013.34⟩
Conference papers hal-00853725v1

Common Specification Language for Static and Dynamic Analysis of C Programs

Mickaël Delahaye , Nikolai Kosmatov , Julien Signoles
SAC 2013 - 28th ACM Symposium on Applied Computing, Polytechnic Institute of Coimbra (IPC), Mar 2013, Coimbra, Portugal. pp.1230-1235, ⟨10.1145/248062.2480593⟩
Conference papers hal-00853721v1
Image document

Domestiquer la variété des critères de test avec le langage HTOL et l'outil LTest

Michaël Marcozzi , Sébastien Bardin , Nikolai Kosmatov , Virgile Prévosto , Mickaël Delahaye
Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2017, Montpellier, France
Conference papers cea-01835544v1