>it'll generate test cases you can use to fix bugs and then use them in your traditional CI tests
That's what I like about hypothesis, it will try to generate minimal testing cases and save them for later. If you're a Python dev and you like what DeepState does, consider hypothesis too.
First real customer walks in and asks where the bathroom is. The bar bursts into flames, killing everyone.
Using symbolic execution to simultaneously test all edge cases is a really powerful idea. DeepState is especially powerful since it'll generate test cases you can use to fix bugs and then use them in your traditional CI tests.