software . Under curation

Artifact for "Lightweight and Modular Resource Leak Verification"

Kellogg, Martin; Shadab, Narges; Sridharan, Manu; Ernst, Michael D.;
Open Access
  • Publisher: Zenodo
Abstract
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweight and Modular Resource Leak Verification". Please download the latest version of the artifact, as we have fixed some bugs in the experimental scripts. Also note that the experimental results produced by the scripts in the artifact are consistent with this version of the paper, which contains a minor correction in Table 3 compared to the originally-published version. To run the image, 0.) Install Docker following the directions at [https://www.docker.com/get-started] for your OS, if it is not already installed. We have tested the artifact with D...
Persistent Identifiers
Download from
Open Access
Zenodo
Software
Provider: Zenodo
Any information missing or wrong?Report an Issue