Badger: Complexity Analysis with Fuzzing and Symbolic Execution.

Yannic Noller Rody Kersten Corina S. Pasareanu

Published 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