Collaborative Runtime Verification with Tracematches

Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem. Collaborative Runtime Verification with Tracematches. Journal of Logic and Computation, 20(3):707-723, 2010. [doi]

Abstract

Abstract is missing.