GitHub repository: FabrizioSandri/deepstate
Description: A unit test-like interface for fuzzing and symbolic execution