Las pruebas negativas abordan el importante problema de evaluar la capacidad de un sistema para hacer frente a situaciones inesperadas. Estas situaciones, si no se gestionan, pueden provocar fallos en el sistema que, en algunos casos, pueden tener consecuencias catastróficas. Este artículo presenta un enfoque basado en pruebas de mutación para la generación de casos de prueba que soporten pruebas negativas. La aplicación de este enfoque puede proporcionar, de forma sistemática y sin sesgo humano, casos de prueba que comprueben eficazmente una amplia gama de situaciones inesperadas. Así, puede contribuir a mejorar un sistema probado. El artículo define formalmente los operadores de mutación utilizados para controlar el proceso de generación, describe un marco genérico para la generación y ejecución de los casos de prueba y explica cómo interpretar los resultados.