CAV 2014 のCFP に以下のように書いてあって、おお~と思った。

The authors of tool papers and papers with experimental evaluation should make every effort to make results reproducible by submitting through EasyChair a repository including the implementation in source and binary as well as benchmarks and logfiles. If this is not possible, the reasons should be explained in the paper.