"Inference of Necessary Field Conditions with Abstract Interpretation."

Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics