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]
@inproceedings{PurandareDE13,
title = {Optimizing monitoring of finite state properties through monitor compaction},
author = {Rahul Purandare and Matthew B. Dwyer and Sebastian G. Elbaum},
year = {2013},
doi = {10.1145/2483760.2483762},
url = {http://doi.acm.org/10.1145/2483760.2483762},
researchr = {https://researchr.org/publication/PurandareDE13},
cites = {0},
citedby = {0},
pages = {280-290},
booktitle = {International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013},
editor = {Mauro Pezzè and Mark Harman},
publisher = {ACM},
isbn = {978-1-4503-2159-4},
}