Contexto:
La Internet del Futuro será una compleja interconexión de servicios, aplicaciones, contenido y medios de comunicación. Nuestra sociedad llegará a ser cada vez más dependiente de la Internet del Futuro para realizar actividades críticas como por ejemplo servicios públicos, servicios sociales, servicios del gobierno, aprendizaje, finanzas, negocios, así como actividades de entretenimiento. Por este motivo, las aplicaciones de la Internet del Futuro deben alcanzar altos niveles de calidad. Actualmente, las Pruebas del Software corresponden a la técnica de aseguramiento de la calidad más utilizada en la industria. Sin embargo, la complejidad de las tecnologías relacionadas con la Internet del Futuro hace que las pruebas de este tipo de aplicaciones sea un reto, por lo que nuevos enfoques y avances en el campo de pruebas automáticas del software son necesarios.
A pesar de que actualmente están disponibles muchas herramientas de automatización de pruebas para ayudar a la planificación y control de las mismas, como la ejecución de casos de prueba y la monitorización, todas estas herramientas comparten una filosofía similar dirigida hacia el diseño de los casos de prueba, la selección de los datos de prueba y la evaluación de la prueba. Esto deja algo crucial para el tester humano. Hay una razón; el diseño y la evaluación de las pruebas son difíciles de automatizar con las técnicas disponibles en la industria actual. El dominio de las posibles entradas (potenciales casos de test), incluso para un programa trivial, suele ser demasiado grande para ser estudiado exhaustivamente. En consecuencia, uno de los principales retos asociados con el diseño de los casos de prueba es el de la selección de casos de prueba que sean eficaces en la búsqueda de fallos sin la necesidad de llevar a cabo un excesivo número de pruebas. Este es el problema que se quiere abordar en este taller.
Este taller proporcionará a los investigadores y a los profesionales un foro para el intercambio de ideas, experiencias, la comprensión de los problemas, las visiones para el futuro, y promete soluciones para los problemas de generación automática de casos de prueba, la selección y la evaluación. El taller también proporcionará una plataforma para los investigadores y desarrolladores de herramientas de prueba para trabajar juntos e identificar los problemas en la teoría y la práctica del software de automatización de pruebas y establecer una agenda y las bases para el futuro desarrollo. El taller se organiza en el contexto del proyecto europeo FITTEST (www.pros.upv.es/fittest).

Temas de Interés:
Los principales temas de interés del taller incluyen, entre otros:
• Pruebas automáticas de Sistemas de Internet utilizando:
o Pruebas evolutivas o Pruebas basadas en búsquedas
o Pruebas basadas en trazas
o Pruebas basadas en modelos
o Etc.
• Oráculos
• Cobertura y pruebas de regresión
• Presentación de herramientas para pruebas automáticas de Sistemas de Internet
• Desafíos en las pruebas de la Internet del Futuro
• Experiencias con pruebas de Sistemas de Internet y/o usando herramientas/técnicas
• Estudios empíricos comparando diferentes técnicas automatizadas para las pruebas de Sistemas de Internet

Fechas importantes:
• Fecha límite para el envío de trabajos: 26 Febrero 5 de Marzo, 2011
• Notificación de la Aceptación: 25 Marzo, 2011
• Fecha límite para el envío de la versión final y registro en la conferencia: 3 Abril, 2011
• Conferencia: 15-18 Junio, 2011

Presentación de Trabajos:
– Se solicitan contribuciones originales relacionadas a los temas de interés de los siguientes tipos:
o Artículos (resultados de investigación consolidados) (máx. 6 páginas)
o Artículos cortos (resultados de trabajo en progreso) (máx 4 páginas)
o Pósters (resumen de proyectos, ideas de projectos, etc.) (2 páginas + póster)
– Los trabajos enviados no podrán sobrepasar páginas indicadas y deberán seguir el formato de la conferencia (http://www.aisti.eu/cisti2011/papersformat.pdf).
– Los trabajos pueden estar escritos en Español o Inglés.
– Los trabajos deben ser enviados mediante http://www.easychair.org/conferences/?conf=atse2011

Publicación:
Los artículos seleccionados serán publicados en las actas de la conferencia CISTI 2011 en papel y en formato electrónico. Los artículos cortos seleccionados serán publicados sólo en las actas electrónicas de CISTI 2011. Todos los participantes de ATSE 2011 deben registrarse en la conferencia principal CISTI 2011

Organización:
• Tanja Vos (ProS, Universidad Politecnica de Valencia, España)
• Wishnu Prasetya (CST, University of Utrecht, Los Países Bajos)

Comité de Programa:
• Enrique Alba (Universidad de Malaga, España)
• Arthur Baars (Universidad Politecnica de Valencia, España)
• Ewout van Driel (Sogeti, España)
• Sigrid Eldh (Ericsson, Suecia)
• Javier Fernández-Pello Alvargonzález (Zurich Financial Services, España)
• Beatriz Marin (Universidad Politecnica de Valencia, España)
• Patricio Letelier (Universidad Politecnica de Valencia, España)
• Wishnu Prasetya (University of Utrecht, Los Paises Bajos)
• Doaitse Swierstra (University of Utrecht, Los Paises Bajos)
• Paolo Tonella (Fondazione Bruno Kessler, Italia)
• Javier Tuya (Universidad de Oviedo, España)
• Tanja Vos (Universidad Politecnica de Valencia, España)