CREST, CUTE and DART: Combining concrete and symbolic analysis to test sequential and parallel C and Java programs. See our PLDI 05, FSE 05, FASE 06, HVC 06, CAV 06, ISSTA 07, ICSE 07, ASE 08 papers.

CalFuzzer: An active random testing tool for multi-threaded Java. See our ASE 07, PLDI 08, FSE 08, PLDI 09, CAV 09, and FSE 09 papers.

Pretex: Predictive Testing: Combining static and dynamic program analysis to amplify the effectiveness of testing sequential and parallel programs. See our FSE 07 and ASE 08 papers.

Par Lab Parallel Computing Laboratory. Press 1 Press 2 Press 3 Press 4

Eagle, JMPaX, and DIANA: Runtime Monitoring Techniques and Tools for Sequential, Concurrent, and Distributed Systems.

VESTA: Statistical and Probabilistic Model Checker and Analyzer for Probabilistic Systems.

LEVER: Learning to Verify — Application of machine learning to automatically verify infinite state systems.