Hector: Detecting resource-release omission faults in error-handling code for systems software,” (2013)

by S Saha, J-P Lozi, G Thomas, J Lawall, G Muller
Venue:in Dependable Systems and Networks (DSN), 2013 43rd Annual IEEE/IFIP International Conference on,