AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution).

Zhen Wang Zhenbang Chen

Published in: TACAS (3) (2024)

Keyphrases

symbolic execution
static analysis
abstract interpretation
dynamic analysis
source code
test generation
regular expressions
high level
termination analysis
databases
information systems
database systems
database
orders of magnitude
specification language