4 ms·

We already knew this shit over 30 years ago. Dijkstra said it, tests can prove the presence of bugs but not their absence.

• lucumo 17y ago
  That would seem to be the topic of the article, yes.