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]
@article{LegunsenAXHRM19,
title = {How effective are existing Java API specifications for finding bugs during runtime verification?},
author = {Owolabi Legunsen and Nader Al Awar and Xinyue Xu and Wajih Ul Hassan and Grigore Rosu and Darko Marinov},
year = {2019},
doi = {10.1007/s10515-019-00267-1},
url = {https://doi.org/10.1007/s10515-019-00267-1},
researchr = {https://researchr.org/publication/LegunsenAXHRM19},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {26},
number = {4},
pages = {795-837},
}