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.
  • LLNL Computation RT @Livermore_Comp: 7th Annual ESGF Conference participants, including several familiar faces from @Livermore_Comp Congras on their recent…
  • LLNL Computation RT @Livermore_Comp: The annual #ESGF conference highlights important work from LLNL’s international collaborators, like the Computer Resear…