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]
No references recorded for this publication.
No citations of this publication recorded.