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

---

Contact

For further information, please contact Jianwen Li.