Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact).

Aleksandar S. Dimovski Sven Apel

Published in: Dagstuhl Artifacts Ser. (2021)

Keyphrases

static analysis
abstract interpretation
dynamic analysis
source code
symbolic execution
regular expressions
test suite
reverse engineering
software engineering
test generation