Runtime verification 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers - RV 2007 (2007 : Vancouver, B.C.).; Sokolsky, Oleg.; Tasiran, Serdar; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Includes bibliographical references and index.
Keywords: Formal methods (Computer science) -- Congresses; Computer software -- Verification -- Congresses; Computer software -- Testing -- Congresses; Aspect-oriented programming -- Congresses; Computer Science; Logics and Meanings of Programs; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters; Software Engineering