Shadow Symbolic Execution with Java PathFinder.
Yannic NollerHoang Lam NguyenMinxing TangTimo KehrerPublished in: CoRR (2018)
Keyphrases
- symbolic execution
- source code
- static analysis
- test data generation
- test generation
- open source
- software systems
- specification language
- data flow
- software projects
- programming language
- object oriented
- light source
- high level
- database systems
- relational databases
- database
- pattern matching
- software testing
- case study
- genetic algorithm