1. Dirk Beyer
  2. RegressionVerificationTasks

Source

RegressionVerificationTasks /

Filename Size Date modified Message
regression-verification-tasks
18.1 KB
369 B
The directory 'regression-verification-tasks' contains verification tasks 
that can be used to evaluate approaches for regression checking.

Documentation of this collection of verification tasks:
http://www.sosy-lab.org/~dbeyer/cpa-reuse/regression-benchmarks/

A research project in which the verification tasks were used:
http://www.sosy-lab.org/~dbeyer/cpa-reuse/