Login / Signup
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.
Edison Mera
Pedro López-García
Germán Puebla
Manuel Carro
Manuel V. Hermenegildo
Published in:
ICLP (2006)
Keyphrases
</>
static analysis
program execution
dynamic analysis
source code
multi processor
symbolic execution
test generation
regular expressions
malicious code
abstract interpretation
java card
test suite
decision trees
database
reverse engineering
xml schema
test cases
real world