A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis.

Moritz Sinn Florian Zuleger Helmut Veith

Published in: CAV (2014)

Keyphrases

static analysis
complexity analysis
dynamic analysis
worst case
lower bound
source code
theoretical analysis
data structure
case study
test generation
malicious code
abstract interpretation
database
data analysis
regular expressions