@inproceedings{peleg2016d,
  title={D\^{}3: Data-Driven Disjunctive Abstraction},
  author={Peleg, Hila and Shoham, Sharon and Yahav, Eran},
  booktitle={International Conference on Verification, Model Checking, and Abstract Interpretation},
  pages={185--205},
  year={2016},
  organization={Springer Berlin Heidelberg}
}