Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation.

Aleksandar S. Dimovski Sven Apel

Published in: ECOOP (2021)

Keyphrases

static analysis
abstract interpretation
dynamic analysis
source code
symbolic execution
regular expressions
test suite
database systems
semantic information
test generation