Legunsen, O., Al Awar, N., Xu, X., Hassan, W. U., Roşu, G., & Marinov, D. (2019). How effective are existing Java API specifications for finding bugs during runtime verification? Automated software engineering, 26(4), 795-837. https://doi.org/10.1007/s10515-019-00267-1
Chicago Style (17th ed.) CitationLegunsen, Owolabi, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Roşu, and Darko Marinov. "How Effective Are Existing Java API Specifications for Finding Bugs During Runtime Verification?" Automated Software Engineering 26, no. 4 (2019): 795-837. https://doi.org/10.1007/s10515-019-00267-1.
MLA (9th ed.) CitationLegunsen, Owolabi, et al. "How Effective Are Existing Java API Specifications for Finding Bugs During Runtime Verification?" Automated Software Engineering, vol. 26, no. 4, 2019, pp. 795-837, https://doi.org/10.1007/s10515-019-00267-1.