Watch and best practices

White Paper - Symbolic code execution: a powerful approach for test generation

Dury, A. Symbolic code execution: a powerful approach for test generation. Montréal, CRIM, 2013. 10 p.
[Full text]

What is symbolic code execution?
 
Symbolic code execution is an automated technique capable of generating tests with high coverage in complex software applications. The rigorous analysis it performs can detect subtle errors missed by other approaches. The paper explains the main principles of the technique and its application to test generation, presents some of the successful applications, the limitations of the existing tools and the research directions currently being explored.
  • #MTL CONNECTE : La semaine prochaine, Françoys Labonté @frlabont1, DG du CRIM, coanimera l'atelier #Protéger vs… https://t.co/kMsz5WV8bx
  • ???? Infolettre - pour tout savoir sur les activités du CRIM, les offres spéciales, ainsi que les récentes nouvelles d… https://t.co/33AOO4IeuB