• PAT is a model checking system for composing, simulating and reasoning of concurrent, real-time and probabilistic systems.
  • Filtering constraint networks to reduce search space is one of the main cornerstones of Constraint Programming.
  • CoREBench is a collection of 70 realistically Complex Regression Errors that were systematically extracted from the repositories and bug reports of four open-source software projects: Make, Grep, Findutils, and Coreutils.
  • 1
  • 2
  • 3