Sign in
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