I don't say this lightly: this approach is clearly the future of software development. I have a blog post brewing that touches on the subject, but fuzz testing and formal verification at scale will make all software an order of magnitude better, safer, and more reliable.