Impact of DM-LRU on WCET: A Static Analysis Approach.

Renato Mancuso Heechul Yun Isabelle Puaut

Published in: ECRTS (2019)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
test generation
malicious code
regular expressions
test suite
decision makers
virtual machine
memory management
hit rate
abstract interpretation
api calls