Chongkyung Kil Emre Can Sezer Peng Ning Xiaolan Zhang Automated Security Debugging Using Program Structural Constraints. 453-462 2007 ACSAC http://doi.ieeecomputersociety.org/10.1109/ACSAC.2007.7 conf/acsac/2007 db/conf/acsac/acsac2007.html#KilSNZ07