@inproceedings{Legolas2024NSDI,
  author = {Wu, Haoze and Pan, Jia and Huang, Peng},
  title = {Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States},
  booktitle = {Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation},
  series = {NSDI '24},
  month = {April},
  year = {2024},
  location = {Santa Clara, CA, USA},
}