Crossmark

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

Published Online: 2019-11-21

Published Print: 2019-12

Authors

Legunsen, Owolabi https://orcid.org/0000-0001-5631-4816
Al Awar, Nader

Xu, Xinyue

Hassan, Wajih Ul

Roşu, Grigore

Marinov, Darko
Funding

Funding for this research was provided by:

National Science Foundation (CCF-1421503, CCF-1409423)

National Science Foundation (CCF-1421575, CCF-1438982)

National Science Foundation (CCF-1439957)
License Information

Text and Data Mining valid from 2019-11-21

Version of Record valid from 2019-11-21
More Information

Article History

Received: 3 October 2018

Accepted: 11 October 2019

First Online: 21 November 2019

Document is current