Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen. Towards Automatically Checking Thousands of Failures with Micro-specifications. In Paulo Veríssimo, Hakim Weatherspoon, editors, Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010. USENIX Association, 2010. [doi]
Abstract is missing.