GitHub repository: IvanYakimov/huntl
Primary language: C++
Created: 2016-11-09T11:02:01Z
Description: Huntl is a test generation tool based on dynamic symbolic exectuion.