"Dynamic inference of likely data preconditions over predicates by tree ..."

Sriram Sankaranarayanan et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics