@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
}
