Overfitting in Synthesis: Theory and Practice.

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

Browse the full CAV paper archive.