Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy. Unifying FSM-inference algorithms through declarative specification. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 252-261, IEEE / ACM, 2013. [doi]
@inproceedings{BeschastnikhBAEK13,
title = {Unifying FSM-inference algorithms through declarative specification},
author = {Ivan Beschastnikh and Yuriy Brun and Jenny Abrahamson and Michael D. Ernst and Arvind Krishnamurthy},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2486822},
researchr = {https://researchr.org/publication/BeschastnikhBAEK13},
cites = {0},
citedby = {0},
pages = {252-261},
booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
publisher = {IEEE / ACM},
isbn = {978-1-4673-3076-3},
}