@misc{indiciae621c9bbe83aa,
  title = {Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution},
  author = {Yigong Hu and Gongqi Huang and Peng Huang},
  year = {2020},
  url = {https://arxiv.org/abs/2010.06356},
  note = {Source identifier: 2010.06356}
}