Towards Automatically Checking Thousands of Failures with Micro-specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Haryadi S. Gunawi' in GoogleThis author has not been identified. Look up 'Thanh Do' in GoogleThis author has not been identified. Look up 'Pallavi Joshi' in GoogleThis author has not been identified. Look up 'Joseph M. Hellerstein' in GoogleThis author has not been identified. Look up 'Andrea C. Arpaci-Dusseau' in GoogleThis author has not been identified. Look up 'Remzi H. Arpaci-Dusseau' in GoogleThis author has not been identified. Look up 'Koushik Sen' in Google

runs on WebDSL