Login / Signup
Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic.
Toby Murray
Pengbo Yan
Gidon Ernst
Published in:
CoRR (2021)
Keyphrases
</>
symbolic execution
static analysis
test data generation
web services
search algorithm
specification language