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. Theoretical Computer Science, 336(2-3):209-234, 2005. [doi]
Abstract is missing.