Badger: complexity analysis with fuzzing and symbolic execution.

Yannic Noller Rody Kersten Corina S. Pasareanu

Published in: ISSTA (2018)

Keyphrases

complexity analysis
symbolic execution
static analysis
test data generation
test generation
theoretical analysis
source code
specification language
data flow
first order logic
lower bound
genetic algorithm
simulated annealing algorithm
computational complexity
training data
test cases
artificial intelligence