Login / Signup
A simple and scalable static analysis for bound analysis and amortized complexity analysis.
Moritz Sinn
Florian Zuleger
Helmut Veith
Published in:
Software Engineering (2016)
Keyphrases
</>
static analysis
complexity analysis
dynamic analysis
lower bound
source code
databases
worst case
theoretical analysis
abstract interpretation
regular expressions
test generation
java card
symbolic execution