On Thu, Feb 12, 2009 at 02:09:41PM -0800, Michael G Schwern wrote: > For day-to-day (or even > week-to-week) work, testing isn't going anywhere.
It's too late for me to be writing anything at all really, but here's just a couple of thoughts on the relationship between formal proofs and testing: "Beware of bugs in the above code; I have only proved it correct, not tried it." -- Donald Knuth (http://www-cs-faculty.stanford.edu/~knuth/faq.html) http://www.google.com/search?q=naur+%22correctness+proof+mini+case+study%22 -- Paul Johnson - p...@pjcj.net http://www.pjcj.net
