Towards Automatically Checking Thousands of Failures with Micro-specifications

@inproceedings {267172,
author = {Haryadi S. Gunawi and Thanh Do and Pallavi Joshi and Joseph M. Hellerstein and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Koushik Sen},
title = {Towards Automatically Checking Thousands of Failures with Micro-specifications},
booktitle = {Sixth Workshop on Hot Topics in System Dependability (HotDep 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications},
publisher = {USENIX Association},
month = oct
}