Filter your results
- 2
- 1
- 3
- 3
- 1
- 2
- 2
- 1
- 3
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
A Late Treatment of C Precondition in Dynamic Symbolic ExecutionCSTVA 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 ProgramsSAC 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
|
|||
|
Domestiquer la variété des critères de test avec le langage HTOL et l'outil LTestApproches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2017, Montpellier, France
Conference papers
cea-01835544v1
|