Archive (Fall 2009)‎ > ‎One-Pagers‎ > ‎

OP3: Was Dijkstra Wrong or Right?

Dijkstra once famously said [1]:
Program testing can be used to show the presence of bugs, but never to show their absence.

In light of what you've read today – King's symbolic execution idea and symbolic model checking – do you think Dijkstra was right? Choose between "yes" and "no," then argue why you believe that. No middle-of-the-road answers, please. Take a clear stance and construct the strongest possible argument to support it, even if you don't fully believe it.

[1] Edsger W. Dijkstra, Notes On Structured Programming, EWD249, page 7, August 1969

Favorite OP3: Giuliano's OP