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

Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Roşu, Darko Marinov

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'How effective are existing Java API specifications for finding bugs during runtime verification?'. Together they form a unique fingerprint.

Keyphrases

Computer Science