Inproceedings,
Lightweight and modular resource leak verification.
M. Kellogg, N. Shadab, M. Sridharan, and M. Ernst.ESEC/SIGSOFT FSE, page 181-192. ACM, (2021)
Meta data
- BibTeX key
- conf/sigsoft/KelloggSSE21
- entry type
- inproceedings
- booktitle
- ESEC/SIGSOFT FSE
- year
- 2021
- pages
- 181-192
- publisher
- ACM
- crossref
- conf/sigsoft/2021
- ee
- https://doi.org/10.1145/3468264.3468576
- isbn
- 978-1-4503-8562-6
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2021.html#KelloggSSE21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigsoft/KelloggSSE21
%A Kellogg, Martin
%A Shadab, Narges
%A Sridharan, Manu
%A Ernst, Michael D.
%B ESEC/SIGSOFT FSE
%D 2021
%E Spinellis, Diomidis
%E Gousios, Georgios
%E Chechik, Marsha
%E Penta, Massimiliano Di
%I ACM
%K dblp
%P 181-192
%T Lightweight and modular resource leak verification.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2021.html#KelloggSSE21
%@ 978-1-4503-8562-6
@inproceedings{conf/sigsoft/KelloggSSE21,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.},
biburl = {https://www.bibsonomy.org/bibtex/25aeea1df73c2476f557b61d786a42b86/dblp},
booktitle = {ESEC/SIGSOFT FSE},
crossref = {conf/sigsoft/2021},
editor = {Spinellis, Diomidis and Gousios, Georgios and Chechik, Marsha and Penta, Massimiliano Di},
ee = {https://doi.org/10.1145/3468264.3468576},
interhash = {183f5a80036d64d0c56eeac840d614e9},
intrahash = {5aeea1df73c2476f557b61d786a42b86},
isbn = {978-1-4503-8562-6},
keywords = {dblp},
pages = {181-192},
publisher = {ACM},
timestamp = {2024-04-09T17:53:05.000+0200},
title = {Lightweight and modular resource leak verification.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2021.html#KelloggSSE21},
year = 2021
}