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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.