En el presente trabajo se aplica un experimento formal para comparar cinco técnicas de verificación: la técnica estática Inspecciones, las técnicas dinámicas de caja negra Partición de Equivalencia con Análisis de Valores Límite y Tablas de Decisión; y las técnicas estáticas de caja blanca Criterio de Cubrimiento de Condición Múltiple y Trayectorias Linealmente Independientes. En el experimento se comparan las técnicas de verificación respecto a la efectividad y el costo en la detección de defectos. . Catorce estudiantes avanzados de la carrera de Ingeniería en Computación de la Facultad de Ingeniería de la Universidad de la República, aplicaron las cinco técnicas de verificación a cuatro programas, según el diseño del experimento. El resultado principal del estudio es que las técnicas de verificación Tablas de Decisión y Partición de Equivalencia con Análisis de Valores Límite son más efectivas que la técnica Trayectorias Linealmente Independientes.