Indice del número

 Editorial, pág.4

Luis Fernández Sanz

 Presentación, pág.5

Luis Fernández

 Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML, pág.6

Dae S. Kim-Park, Claudio de la Riva y Javier Tuya

 Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes, pág.23

Juan Boubeta-Puig, Inmaculada Medina-Bulo y Antonio García-Domínguez

 Reseña sobre el taller de Pruebas en Ingeniería del Software 2010 (PRIS), pág.47

Claudio de la Riva

 Principales actividades de IFIP previstas para los próximos años, pág.49

Ramón Puigjaner

Descarga del numero completo: