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

Sriram Sankaranarayanan Swarat Chaudhuri Franjo Ivancic Aarti Gupta Dynamic inference of likely data preconditions over predicates by tree learning. 295-306 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390666 conf/issta/2008 db/conf/issta/issta2008.html#SankaranarayananCIG08