TP-DejaVu: Combining Operational and Declarative Runtime Verification.

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis

Browse the full VMCAI paper archive.