@incollection{
year={2015},
isbn={978-3-319-23819-7},
booktitle={Runtime Verification},
volume={9333},
series={Lecture Notes in Computer Science},
editor={Bartocci, Ezio and Majumdar, Rupak},
doi={10.1007/978-3-319-23820-3_21},
title={StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java},
url={http://dx.doi.org/10.1007/978-3-319-23820-3_21},
publisher={Springer International Publishing},
author={Chimento, Jes\'us Mauricio and Ahrendt, Wolfgang and Pace, Gordon J. and Schneider, Gerardo},
pages={297-305},
language={English}
}