Badger: Complexity Analysis with Fuzzing and Symbolic Execution.
Yannic NollerRody KerstenCorina S. PasareanuPublished in: CoRR (2018)
Keyphrases
- complexity analysis
- symbolic execution
- test data generation
- static analysis
- test generation
- specification language
- source code
- theoretical analysis
- data flow
- computational complexity
- test cases
- lower bound
- first order logic
- software testing
- multi objective
- neural network
- optimization algorithm
- evolutionary algorithm
- genetic algorithm