C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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