@inproceedings{legunsen-hassan-xu-rosu-marinov-2016-ase, author = "Legunsen, Owolabi and Hassan, Wajih Ul and Xu, Xinyue and Ro\c{s}u, Grigore and Marinov, Darko", publisher = "IEEE/ACM", doi = "http://dx.doi.org/10.1145/2970276.2970356", title = "How Good are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications", booktitle = "31st IEEE/ACM International Conference on Automated Software Engineering (ASE'16)", month = "September", note = "ACM Sigsoft Distinguished Paper", year = "2016", pages = "602-613" }