Using Fuzzing to Help Abstract Interpretation Based Program Verification.

Renjie Huang Banghu Yin Liqian Chen

Published in: QRS Companion (2022)

Keyphrases

abstract interpretation
termination analysis
static analysis
reasoning engine
model checking
active rules
dynamic analysis
active databases
databases
relational databases
database
multi agent systems
mobile devices
xml documents