Login / Signup
Automatic Inference of Resource Leak Specifications.
Narges Shadab
Pritam Gharat
Shrey Tiwari
Michael D. Ernst
Martin Kellogg
Shuvendu K. Lahiri
Akash Lal
Manu Sridharan
Published in:
CoRR (2023)
Keyphrases
</>
resource management
resource allocation
management system
bayesian networks
hidden markov models
fully automatic
data driven
formal specification
database
high level
expert systems
semi automatic
third party
private information
inference mechanism