Profiling vs Static Analysis: The Impact on Precision Tuning.

Lev Denisov Gabriele Magnani Daniele Cattaneo Giovanni Agosta Stefano Cherubin

Published in: SAC (2024)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
test suite
java card
regular expressions
abstract interpretation
high precision
reverse engineering
test generation
precision and recall
databases
error rate
case study
artificial intelligence
test case generation
data mining