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]

Authors

Owolabi Legunsen

This author has not been identified. Look up 'Owolabi Legunsen' in Google

Nader Al Awar

This author has not been identified. Look up 'Nader Al Awar' in Google

Xinyue Xu

This author has not been identified. Look up 'Xinyue Xu' in Google

Wajih Ul Hassan

This author has not been identified. Look up 'Wajih Ul Hassan' in Google

Grigore Rosu

This author has not been identified. It may be one of the following persons: Look up 'Grigore Rosu' in Google

Darko Marinov

This author has not been identified. Look up 'Darko Marinov' in Google