Inferring models of concurrent systems from logs of their behavior with CSight

Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy. Inferring models of concurrent systems from logs of their behavior with CSight. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014. pages 468-479, ACM, 2014. [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

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