Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing

Sébastien Salva, Tien-Dung Cao. Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing. IJSI, 2(2):20-42, 2014. [doi]

Abstract

Abstract is missing.