The ISP unit testing tool jUnitRV has been presented by Daniel Thoma at the NASA Formal Methods Symposium at the NASA Ames Research Center in Mountain View, California, USA. jUnitRV is a tool extending the unit testing framework jUnit by runtime verification capabilities.
