OPSC: Catching the "Oops" in JDBC PreparedStatements with Static Code Analysis. - Thomas James Kirz (BTW, 2025)

Static Type Checking for Database Access Code. - Thomas James Kirz; Werner Dietl; Mattias Ulbrich; Stefanie Scherzinger (CoRR, 2026)