Runtime Verification - Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; RoÅŸu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Software Engineering