Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov. How effective are existing Java API specifications for finding bugs during runtime verification?. Automated Software Engineering, 26(4):795-837, 2019. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: How good are the specs? a study of the bug-finding effectiveness of existing Java API specificationsOwolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu, Darko Marinov. ASE 2016: 602-613 [doi]
The following publications are possibly variants of this publication: