Software Verification

New project: website under construction!

Resources

• Tools
  • Euclide, a constraint-based tool for verifying safety-critical C programs
  • GEC, Stocs, and Mage, the constraint-based test generation tools for hardware verification at IBM
  • CUTE and jCUTE, automatic concolic testing of C and Java programs
  • CREST, an open-source concolic tester for C
  • Microsoft Pex, a concolic tester for Visual Studio 2010
• Events
  • CSTVA'11 - The 3rd Workshop on Constraints in Software Testing, Verification, and Analysis
  • CSTVA'10 - The 2nd Workshop on Constraints in Software Testing, Verification, and Analysis
  • CSTVA'06 - The 1st Workshop on Constraints in Software Testing, Verification, and Analysis
  • ICST - The IEEE International Conferences on Software Testing, Verification and Validation