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]
No references recorded for this publication.
No citations of this publication recorded.