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

Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta

Browse the full ISSTA paper archive.