Static analysis for worst-case battery utilization.

Dmitry Ivanov Sibylle Schupp

Published in: FormaliSE@ICSE (2019)

Keyphrases

static analysis
worst case
dynamic analysis
source code
lower bound
upper bound
average case
java card
np hard
symbolic execution
malicious code
error bounds
regular expressions
electric vehicles
test generation
abstract interpretation
test suite
artificial intelligence
computational complexity
data management