How effective are existing Java API specifications for finding bugs during runtime verification?

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]

Abstract

Abstract is missing.