Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software

Suman Saha, Jean-Pierre Lozi, Gaël Thomas 0001, Julia L. Lawall, Gilles Muller. Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. In 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013. pages 1-12, IEEE, 2013. [doi]

@inproceedings{SahaL0LM13,
  title = {Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software},
  author = {Suman Saha and Jean-Pierre Lozi and Gaël Thomas 0001 and Julia L. Lawall and Gilles Muller},
  year = {2013},
  doi = {10.1109/DSN.2013.6575307},
  url = {http://doi.ieeecomputersociety.org/10.1109/DSN.2013.6575307},
  researchr = {https://researchr.org/publication/SahaL0LM13},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  publisher = {IEEE},
  isbn = {978-1-4673-6471-3},
}