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

Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy

Browse the full ICSE paper archive.