Pex - An Intelligent Assistant for Rigorous Developer Testing.
Wolfram SchultePublished in: ICECCS (2007)
Keyphrases
- symbolic execution
- source code
- test generation
- static analysis
- test data generation
- open source
- specification language
- software systems
- test cases
- data flow
- development process
- software development
- web applications
- general purpose
- simulated annealing algorithm
- software testing
- genetic algorithm ga
- open source software
- software projects
- databases
- genetic programming
- high level
- case study
- decision trees