|
|
|
|
|
|
by pag
1841 days ago
|
|
|
DeepState [1] is a tool that lets you write Google Test-style unit tests, as well as property tests, in either C or C++, and plug in fuzzers and symbolic executors. That is, DeepState bridges this gap between fuzz testing and property testing. [1] https://github.com/trailofbits/deepstate |
|
|