Dear CAV, We Need to Talk About Reproducibility

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

How many times have you tried to re-implement a past CAV tool paper, and failed? Reliably reproducing published scientific discoveries has been acknowledged as a barrier to scienti…