Optimizing monitoring of finite state properties through monitor compaction.

Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum

Browse the full ISSTA paper archive.