Runtime Verification - Hutchison, David; Tasiran, Serdar (Springer Berlin Heidelberg, 2013)
Keywords: Information Technology -- Software Engineering