GitHub repository: trailofbits/deepstate
Primary language: Python
Description: A unit test-like interface for fuzzing and symbolic execution