"A Static Analysis Framework for Database Applications."

Arjun Dasgupta, Vivek R. Narasayya, Manoj Syamala (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics