A Static Analysis of Informed Down-Samples.

Ryan Boldi Alexander Lalejini Thomas Helmuth Lee Spector

Published in: GECCO Companion (2023)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
abstract interpretation
regular expressions
training samples
training set
data sets
malicious code
test suite
object oriented
semantic information
query language
test generation
artificial intelligence
databases