CRABS

CRABS is a testing tool that guides concolic testing by model checking. The tool is built on top of CREST and CPAChecker. CRABS is a free software, distributed under the Apache 2.0 License.

Download

Build from source

Download the source code, and follow the installation instructions.