StaRVOOrS : a tool for combined static and runtime verification of Java ; Runtime verification. Lecture notes in computer science - Chimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo (2015)