Monitoring Off-the-Shelf Components.

A. Prasad Sistla, Min Zhou, Lenore D. Zuck

Browse the full VMCAI paper archive.