Veritesting Challenges in Symbolic Execution of Java.

Vaibhav Sharma Michael W. Whalen Stephen McCamant Willem Visser

Published in: ACM SIGSOFT Softw. Eng. Notes (2017)

Keyphrases

symbolic execution
source code
static analysis
test data generation
specification language
open source
test generation
real world
object oriented
programming language
artificial intelligence
software systems
decision trees
test cases
data flow
generation algorithm