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 reviews for this publication, yet.