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.
  • ????Une série de formations TI par les événements Les Affaires @la_lesaffaires Transformation numérique, Gestion des T… https://t.co/lkcsZ9BvXs
  • AIxSPACE RT @AIxSPACE_ca: ???? [IMPORTANT] In order to guarantee the safety of all, we have decided to postpone #AIxSPACE until January 18, 2021 // [IM…