@misc{indiciae5f155732408e,
  title = {Probabilistic Conditional System Invariant Generation with Bayesian Inference},
  author = {Meriel Stein and Sebastian Elbaum and Lu Feng and Shili Sheng},
  year = {2020},
  url = {https://arxiv.org/abs/2012.06615},
  note = {Source identifier: 2012.06615}
}