Login / Signup
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