Mining specifications (2002)

by Glenn Ammons, Rastislav Bodik, James R Larus
Venue:In Principles of Programming Languages