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]
Abstract is missing.