Journal

Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study

Nguena Timo, O. and Langelier, G. "Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study" Electronic Notes in Theoretical Computer Science (ENTCS), 320 (2) 2016 : 35-51, Issue C

  • TECHNOCompétences RT @TECHNOCompetenc: Êtes-vous inscrits à la formation le développeur et le besoin d'affaires du 13 mars prochain ? @CRIM_ca @communautique…
  • TECHNOCompétences RT @TECHNOCompetenc: Avez-vous lu l'article d'@espressojobs sur la Classe de Maîtres CSS3/Angular et HTML5 avec nos partenaires le @CRIM_ca…