Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi and Kristin Y. Rozier

This webpage contains further details and artifacts for reproducibility of the experiments in "Intersection and Rotation of Assumption Literals Boosts Bug-Finding" by R. Dureja, J. Li, G. Pu, M.Y. Vardi, K.Y. Rozier

---

Artifacts

All artifacts for reproducibility are available here.

---