Volumen 4. Número 5
Actas del 5º Taller sobre Pruebas en Ingeniería del Software.
Valencia, España
7 de septiembre de 2010
Editor(es):
C. de la Riva
Universidad de Oviedo (España)
Tabla de Contenidos
Presentación
Páginas i-iii
C. de la Riva
Internet y SOA
Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes
Páginas 1-8
Juan Boubeta Puig, Inmaculada Medina, Antonio García Domínguez
Revisión Sistemática: Pruebas de Software para SOA con UML
Páginas 9-16
Mª del Pilar Romay, Luis Fernández, Roberto Tejedor
Protocolo para la revisión sistemática de estudios sobre pruebas en SOAs con enlace dinámico
Páginas 17-24
Marcos Palacios, José García-Fanjul, Javier Tuya
Propuestas de Investigación y Herramientas
Propuesta de optimización en la prueba de mutaciones en Java
Páginas 25-31
Inmaculada Medina, Lorena Gutiérrez Madroñal, Juan José Domínguez Jiménez
Un portal web para investigación y docencia en testing combinatorio
Páginas 33-41
Beatriz Pérez, Macario Polo
Oráculo de prueba automatizado para programas de procesamiento XML
Páginas 43-49
Dae S. Kim-Park, Claudio de la Riva, Javier Tuya
Verificación de Datos en la GUI como un Aspecto Separado de las Aplicaciones
Páginas 51-58
Pedro Luis Mateo Navarro, Gregorio Martínez Pérez, Diego Sevilla Ruiz
Pruebas Funcionales Evolutivas en la Industria
Páginas 59-66
Tanja Vos, Arthur Vaas, Beatriz Marín
Charlas Invitadas
FITTEST – Testeo del Internet del Futuro
Páginas 67-68
Tanja. Vos, Oscar Pastor
Business Driven Test Management - Una buena práctica en la gestión de las pruebas
Páginas 69-72
Ewout van Driel
