Login / Signup
Speeding up Static Analysis with the Split Operator.
Vincenzo Arceri
Greta Dolcetti
Enea Zaffanella
Published in:
SOAP@PLDI (2023)
Keyphrases
</>
static analysis
dynamic analysis
source code
malicious code
symbolic execution
java card
test generation
abstract interpretation
test suite
data sets
regular expressions
test case generation