USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Towards Automatically Checking Thousands of Failures with Micro-specifications
Submitted by Anonymous (not verified) on February 8, 2021 - 10:55 pm
Title | Towards Automatically Checking Thousands of Failures with Micro-specifications |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Gunawi HS, Do T, Joshi P, Hellerstein JM, Arpaci-Dusseau AC, Arpaci-Dusseau RH, Sen K |
Conference Name | Sixth Workshop on Hot Topics in System Dependability (HotDep 10) |
Date Published | 10/2010 |
Publisher | USENIX Association |
Conference Location | Vancouver, BC |
URL | https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX