Cyrille Artho Howard Barringer Allen Goldberg Klaus Havelund Sarfraz Khurshid Michael R. Lowry Corina S. Pasareanu Grigore Rosu Koushik Sen Willem Visser Richard Washington Combining test case generation and runtime verification. 209-234 2005 336 Theor. Comput. Sci. 2-3 http://dx.doi.org/10.1016/j.tcs.2004.11.007 db/journals/tcs/tcs336.html#ArthoBGHKLPRSVW05