Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software

Aquesta tesi apareix a les col·leccions següents