Badger: Complexity Analysis with Fuzzing and Symbolic Execution.

Yannic Noller Rody Kersten Corina S. Pasareanu

Published in: SE/SWM (2019)

Keyphrases

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