Optimizing monitoring of finite state properties through monitor compaction

Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum. Optimizing monitoring of finite state properties through monitor compaction. In Mauro Pezzè, Mark Harman, editors, International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. pages 280-290, ACM, 2013. [doi]

Abstract

Abstract is missing.