A Static Analysis of Informed Down-Samples.

Ryan Boldi Alexander Lalejini Thomas Helmuth Lee Spector

Published in: CoRR (2023)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
regular expressions
malicious code
data sets
test suite
test generation
abstract interpretation
data sources
training samples