Static Checking of Dynamically Generated Queries in Database Applications. - Carl Gould 001; Zhendong Su 001; Premkumar T. Devanbu (ICSE, 2004)

JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. - Carl Gould 001; Zhendong Su 001; Premkumar T. Devanbu (ICSE, 2004)

Static checking of dynamically generated queries in database applications. - Gary Wassermann; Carl Gould 001; Zhendong Su 001; Premkumar T. Devanbu (ACM Trans. Softw. Eng. Methodol., 2007)