C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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