Shadow Symbolic Execution with Java PathFinder.
Yannic NollerHoang Lam NguyenMinxing TangTimo KehrerPublished in: ACM SIGSOFT Softw. Eng. Notes (2017)
Keyphrases
- symbolic execution
- source code
- static analysis
- test data generation
- test generation
- specification language
- open source
- programming language
- software systems
- light source
- software projects
- data flow
- high level
- object oriented
- artificial intelligence
- simulated annealing algorithm
- web services
- metadata
- test cases
- general purpose
- multi agent systems
- neural network