Hongyu Zhang, Hee Beng Kuan Tan, Lu Zhang 0023, Xi Lin, Xiaoyin Wang, Chun Zhang, Hong Mei. Checking enforcement of integrity constraints in database applications based on code patterns. Journal of Systems and Software, 84(12):2253-2264, 2011. [doi]
Abstract is missing.