Symbolic execution of programs with strings.

Gideon Redelinghuys Willem Visser Jaco Geldenhuys

Published in: SAICSIT (2012)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
neural network
artificial intelligence
case study
programming language
open source
knowledge management
test cases
software testing