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