Browsing by Author Liu, Kaiping

Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)
 2012Automated insertion of exception handling for key and referential constraintsLiu, Kaiping; Tan, Hee Beng Kuan
 2012Detection of buffer overflow vulnerabilities in C/C++ with pattern based limited symbolic evaluationDing, Sun; Tan, Hee Beng Kuan; Liu, Kaiping; Chandramohan, Mahinthan; Zhang, Hongyu
2016Detection of faults in database applications using static program analysis and data miningLiu, Kaiping
 2012Has this bug been reported?Liu, Kaiping; Tan, Hee Beng Kuan; Chandramohan, Mahinthan
 2012Semi-automated verification of defense against SQL injection in web applicationsLiu, Kaiping; Tan, Hee Beng Kuan; Shar, Lwin Khin