Checking enforcement of integrity constraints in database applications based on code patterns

- Zhang, Hongyu; Tan, Hee Beng Kuan; Zhang, Lu; Lin, Xi; Wang, Xiaoyin; Zhang, Chun; Mei, Hongen