From Leaks to Fixes: Automated Repairs for Resource Leak Warnings.
Akshay UttureJens PalsbergPublished in: ESEC/SIGSOFT FSE (2023)
Keyphrases
- information flow
- private information
- semi automated
- resource allocation
- integrity constraints
- fully automated
- leak detection
- computer assisted
- computer aided
- consistent query answering
- resource usage
- resource constraints
- database
- data driven
- relational databases
- case study
- decision trees
- knowledge base
- data sets
- real time