Quantification of Software Changes through Probabilistic Symbolic Execution (N).
Antonio FilieriCorina S. PasareanuGuowei YangPublished in: ASE (2015)
Keyphrases
- symbolic execution
- test data generation
- static analysis
- source code
- test generation
- test cases
- software systems
- data flow
- software development
- simulated annealing algorithm
- software testing
- artificial intelligence
- software components
- software architecture
- orders of magnitude
- specification language
- particle swarm optimization
- evolutionary algorithm
- optimal solution
- genetic algorithm