Login / Signup
Combining Static Analysis and Profiling for Estimating Execution Times.
Edison Mera
Pedro López-García
Germán Puebla
Manuel Carro
Manuel V. Hermenegildo
Published in:
PADL (2007)
Keyphrases
</>
execution times
static analysis
dynamic analysis
source code
symbolic execution
malicious code
regular expressions
abstract interpretation
open source
java card
data sets
real world
case study
test set
test case generation
communication delays