A Reflection On ForAllSecure's Journey In Bootstrapping Behavior Testing Technology
ForAllSecure
APRIL 3, 2019
To learn more about the synergistic power of symbolic execution and fuzzing, download the “What is Behavior Testing” whitepaper here. We found that the key for effective dynamic testing is to use these two techniques together: use deep reasoning of symbolic execution on some runs, while continuously fuzzing in the background.
Let's personalize your content