Complete Shadow Symbolic Execution with Java PathFinder.

Yannic Noller Hoang Lam Nguyen Minxing Tang Timo Kehrer Lars Grunske

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

Keyphrases

symbolic execution
source code
static analysis
test generation
test data generation
specification language
open source
programming language
neural network
software systems
java code
decision trees
object oriented
general purpose
test cases
orders of magnitude