Quantitative Input Usage Static Analysis.

Denis Mazzucato Marco Campion Caterina Urban

Published in: NFM (2024)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
test generation
input data
pattern matching
regular expressions
artificial intelligence
open source
matching algorithm
reverse engineering
test case generation