State-Taint Analysis for Detecting Resource Bugs.

Zhiwu Xu, Dongxiao Fan, Shengchao Qin

Browse the full TASE paper archive.