Login / Signup
CAERUS: Chronoscopic Assessment Engine for Recovering Undocumented Specifications.
Adam Seitz
Adam Satar
Brian Burke
Lok K. Yan
Zachary Estrada
Published in:
CSET @ USENIX Security Symposium (2019)
Keyphrases
</>
neural network
multiscale
formal specification
data mining
machine learning
computer vision
case study
data structure
natural language
multi agent systems
learning experience
specification language
written in natural language