SimpleCAR
An Efficient Bug-Finding Tool Based on Approximate Reachability
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Y. Rozier, and Moshe Y. Vardi
This webpage contains further details and artifacts for reproducibility of the experiments in "SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability" by J. Li, R. Dureja, G. Pu, K.Y. Rozier, M.Y. Vardi
Artifacts
All artifacts for reproducibility, and the virtual machine used are available here.