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.
  • TECHNOCompétences RT @TECHNOCompetenc: Initions les jeunes aux compétences numériques ! Lisez et partagez l'article de @ecolebranchee à propos de #MaVieTECHN…
  • Au tour du @lienmultimedia de parler du projet d'#IntelligenceArtificielle du CRIM et de @facilis_inc! L'expertise… https://t.co/142GYrXbjX