DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

mention property-based testing

Browse Source
This commit is contained in:
Alex Groce
2019-01-18 11:35:30 -07:00
parent 105248ca94
commit debe187777
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@@ -27,6 +27,13 @@ The [2018 IEEE Cybersecurity Development Conference](https://secdev.ieee.org/201
* Pumping (novel to DeepState) to pick concrete values when symbolic execution is too expensive * Pumping (novel to DeepState) to pick concrete values when symbolic execution is too expensive
* Automatic decomposition of integer compares to guide coverage-driven fuzzers * Automatic decomposition of integer compares to guide coverage-driven fuzzers
To put it another way, DeepState sits at the intersection of
*property-based testing*, *traditional unit testing*, *fuzzing*, and
*symbolic execution*. It lets you perform property-based unit testing
using fuzzing or symbolic execution as a back end to generate data, and saves the
results so that what DeepState finds can easily be used in
deterministic settings such as regression testing or CI.
## Supported Platforms ## Supported Platforms
DeepState currently targets Linux, with macOS support in progress DeepState currently targets Linux, with macOS support in progress