Login / Signup

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.

Omar ChebaroNikolai KosmatovAlain GiorgettiJacques Julliand
Published in: TAP@TOOLS (2011)
Keyphrases
  • test generation
  • static analysis
  • program slicing
  • real world
  • database systems
  • quality assessment
  • software testing