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