Calidad, Pruebas y Requisitos

Listado de artículos correspondientes a la sesión:

1. Demostración de NDT-Driver: una herramienta de soporte a los mecanismos de transformación de NDT
2. PTAC: Una herramienta para testing pasivo de sistemas con comunicaciones asíncronas
3. Multi-dimensional Criteria for Testing Web Services Transactions
4. Generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0
5. Towards Multi-Objective Test Case generation for Variability-Intensive Systems
6. Pruebas funcionales en programas MapReduce basadas en comportamientos no esperados
7. Generación de Mutantes Válidos en el Lenguaje de Programación C++
8. Entorno para la Evaluación y Certificación de la Calidad del Producto Software