Los programas de pruebas pueden ser una forma eficaz de encontrar errores, pero es completamente inadecuada para demostrar su ausencia.

Más de Edsger Dijkstra

• Es prácticamente imposible enseñar programación correctamente a estudiantes que han estado expuestos al lenguaje BASIC con anterioridad. Como potenciales programadores, tienen la mente mutilada sin esperanza alguna de regeneración.

• La ciencia de la computación no trata sobre las computadoras más de lo que la astronomía trata sobre los telescopios.

• La pregunta de si un computador puede pensar no es más interesante que la pregunta de si un submarino puede nadar.

• No es tarea de la Universidad ofrecer lo que la sociedad le pide, sino lo que la sociedad necesita.