Mining Temporal Invariants from Partially Ordered Logs (2011)

by Ivan Beschastnikh, Yuriy Brun, Michael D Ernst, Arvind Krishnamurthy, Thomas E Anderson
Venue:Operating Systems Review (OSR