Sriram Sankaranarayanan Franjo Ivancic Aarti Gupta Mining library specifications using inductive logic programming. 131-140 2008 ICSE http://doi.acm.org/10.1145/1368088.1368107 conf/icse/2008 db/conf/icse/icse2008.html#SankaranarayananIG08