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.
  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk
  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4