Unifying FSM-inference algorithms through declarative specification

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]

Authors

Ivan Beschastnikh

This author has not been identified. Look up 'Ivan Beschastnikh' in Google

Yuriy Brun

This author has not been identified. Look up 'Yuriy Brun' in Google

Jenny Abrahamson

This author has not been identified. Look up 'Jenny Abrahamson' in Google

Michael D. Ernst

This author has not been identified. Look up 'Michael D. Ernst' in Google

Arvind Krishnamurthy

This author has not been identified. Look up 'Arvind Krishnamurthy' in Google