Login / Signup

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

Sriram SankaranarayananSwarat ChaudhuriFranjo IvancicAarti Gupta
Published in: ISSTA (2008)
Keyphrases