Ausgabe 3/2005
Special Issue on Selected Papers from the Second International Workshop on Runtime Verification Held in Copenhagen, July 2002 (RV'02)
Inhalt (6 Artikel)
Collecting Statistics Over Runtime Executions
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny B. Sipma
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
Murat Karaorman, Parker Abercrombie
Translation and Run-Time Validation of Loop Transformations
Lenore Zuck, Amir Pnueli, Benjamin Goldberg, Clark Barrett, Yi Fang, Ying Hu