Legunsen, Owolabi, Al Awar, Nader, Xu, Xinyue, Hassan, Wajih Ul, Roşu, Grigore, and Marinov, Darko. How effective are existing Java API specifications for finding bugs during runtime verification?. Retrieved from https://par.nsf.gov/biblio/10175746. Automated Software Engineering 26.4 Web. doi:10.1007/s10515-019-00267-1.

Legunsen, Owolabi, Al Awar, Nader, Xu, Xinyue, Hassan, Wajih Ul, Roşu, Grigore, & Marinov, Darko. How effective are existing Java API specifications for finding bugs during runtime verification?. Automated Software Engineering, 26 (4). Retrieved from https://par.nsf.gov/biblio/10175746. https://doi.org/10.1007/s10515-019-00267-1

Legunsen, Owolabi, Al Awar, Nader, Xu, Xinyue, Hassan, Wajih Ul, Roşu, Grigore, and Marinov, Darko. "How effective are existing Java API specifications for finding bugs during runtime verification?". Automated Software Engineering 26 (4). Country unknown/Code not available. https://doi.org/10.1007/s10515-019-00267-1. https://par.nsf.gov/biblio/10175746.

@article{osti_10175746,
place = {Country unknown/Code not available}, title = {How effective are existing Java API specifications for finding bugs during runtime verification?}, url = {https://par.nsf.gov/biblio/10175746}, DOI = {10.1007/s10515-019-00267-1}, abstractNote = {}, journal = {Automated Software Engineering}, volume = {26}, number = {4}, author = {Legunsen, Owolabi and Al Awar, Nader and Xu, Xinyue and Hassan, Wajih Ul and Roşu, Grigore and Marinov, Darko}, }