Symbolic PathFinder: symbolic execution of Java bytecode.
Corina S. PasareanuNeha RungtaPublished in: ASE (2010)
Keyphrases
- symbolic execution
- java bytecode
- static analysis
- test data generation
- test generation
- specification language
- source code
- virtual machine
- programming language
- efficient execution
- java virtual machine
- garbage collection
- data flow
- open source
- software testing
- intermediate representation
- genetic algorithm
- test set
- genetic programming
- software development
- search algorithm