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