Login / Signup
Automatically Detecting Error Handling Bugs Using Error Specifications.
Suman Jana
Yuan Jochen Kang
Samuel Roth
Baishakhi Ray
Published in:
USENIX Security Symposium (2016)
Keyphrases
</>
automatically detecting
error handling
automatic detection
data access
machine learning
data abstraction
high level
source code
formal specification
data management
data processing
software systems