Jalangi: A concolic testing, symbolic execution, record-replay, and dynamic analysis framework for JavaScript

CodeHint: CodeHint is a smart auto-completion and code synthesis tool.

SwiftHand: An automated GUI testing tool for Android apps.

CORVETTE: Correctness, Verification, and Testing of Parallel Programs

CalFuzzer: An active random testing tool for multi-threaded Java. See our ASE 07, PLDI 08, FSE 08, PLDI 09, CAV 09, FSE 09, FSE 10, ISSTA 11, SC’11, ICS’13 papers.

CATG (A new Java Concolic Testing Tool), CREST, jCUTE, 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.

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.