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.