Quantitative Program Sketching using Lifted Static Analysis.

Aleksandar S. Dimovski

Published in: FASE (2022)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
java card
test generation
regular expressions
malicious code
abstract interpretation
probabilistic inference
test suite
database systems
error rate
data sets
databases
real world