@inproceedings {295609,
	author = {Haoze Wu and Jia Pan and Peng Huang},
	title = {Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States},
	booktitle = {21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)},
	year = {2024},
	isbn = {978-1-939133-39-7},
	address = {Santa Clara, CA},
	pages = {1267--1283},
	url = {https://www.usenix.org/conference/nsdi24/presentation/wu-haoze},
	publisher = {USENIX Association},
	month = apr
}
