Off-topic, but has anyone actually used their product, it seems really cool, but I'm trying to decide if it's smoke and mirrors?

Even if it generates a lot of really stupid test cases, including them in a separate package would be incredibly powerful for handling stupid mistakes.