Artículo.
solución definitiva es integrar la verificación funcional en el proceso de compilación de la integración continua de los sistemas de software, de forma similar a la integración de las pruebas automatizadas como se hace hoy. Esta es una traducción del paper Increasing Usability of Spin-Based C Code