
Antonia Estero-BotaroUniversidad de Cádiz | UCA · Department of Computer Engineering
Antonia Estero-Botaro
PhD
About
33
Publications
10,561
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
240
Citations
Introduction
Publications
Publications (33)
This paper presents an exact search-based technique to minimize test suites while maintaining their mutation coverage. The minimization of test suites is a hard problem whose solution is important both to reduce the cost of mutation testing and to precisely assess the quality of existing test suites. This problem can be addressed with Search-Based...
Search-based testing generates test cases by encoding an adequacy criterion as the fitness function that drives a search-based optimization algorithm. Genetic algorithms have been successfully applied in search-based testing: while most of them use adequacy criteria based on the structure of the program, some try to maximize the mutation score of t...
Dada la importancia que en los �ultimos a~nos est�an cobrando
los servicios web en el �ambito de los procesos de negocio, es imprescindible
contar con un soporte de casos de prueba lo su�cientemente amplio
como para detectar fallos en estos servicios. La automatizaci�on de la generaci
�on de casos de prueba es importante en este contexto, ya que va...
Mutation testing is a successful testing technique based on fault injection. However, it can be very costly, and several cost-reduction techniques for reducing the number of mutants have been proposed in the literature. Cost reduction can be aided by an analysis of mutation operators, but this requires the definition of specialized metrics. Several...
ContextMutation testing is a testing technique that has been applied successfully to several programming languages. However, it is often regarded as computationally expensive, so several refinements have been proposed to reduce its cost. Moreover, WS-BPEL compositions are being widely adopted by developers, but present new challenges for testing, s...
This paper shows a novel tool, GAmera, the first mutant generation tool for testing Web Service compositions written in the
WS-BPEL language. After several improvements and the development of a graphical interface, we consider GAmera to be a mature
tool that implements an optimization technique to reduce the number of generated mutants without sign...
This work presents a quantitative evaluation of the quality of a set of mutation operators for WS-BPEL 2.0 (Web Services Business Process Execution Language), an OASIS standardized language for the composition of Web Services. A series of experiments is conducted, aiming to determine how selective operators are for the qualification of test cases a...
Business processes based in WS-BPEL compositions are rapidly becoming commonplace in recent years, so it is important to pay special attention to testing in this context. Mutation testing is a white-box testing technique that has been applied successfully to programs written in several languages. In order to apply it we need a system for mutant gen...
The rise of Web Services and their WS-BPEL compositions in recent years makes necessary to pay special attention to testing
in this context. Mutation testing is a white box testing technique that has been applied successfully to programs written
in different languages. In order to apply it we need a set of mutation operators and a system for mutant...
Palabras clave: Enseñanzas técnicas, ECTS, aprendizaje colaborativo, evaluación continua, competencias transversales, planificación de actividades 1. INTRODUCCIÓN La integración en el EEES en el nuevo sistema de créditos ECTS supone establecer una medida del volumen de trabajo que el alumno debe realizar para alcanzar los objetivos educativos. Así,...
Este libro de resúmenes se terminó de imprimir en Valladolid, en septiembre de 2007. Todos los derechos reservados.
El EEES supone una oportunidad para introducir un cambio en la mentalidad del profesorado con objeto de poder realizar un cambio en la metodología aplicada. Este trabajo pretende mostrar la experiencia llevada a cabo en dos asignaturas de la titulación de Ingeniería Técnica en Informática de Gestión y en Ingeniería Técnica en Informática de Sistema...
La adaptación de las asignaturas al EEES implica la implantación de multitud de cambios
tanto en la metodología aplicada como en los métodos de evaluación. Este trabajo describe los cambios que se han llevado a cabo en las asignaturas Sistemas Operativos I y II de las titulaciones de Ingeniería Técnica en Informática de Gestión y en Ingeniería Técn...
Sistemas desde el curso 2003-2004 hasta la actualidad, así como los cambios que se realizarán durante el curso 2006-07. Palabras clave: enseñanzas técnicas, EEES, masificación, evaluación de esfuerzo, cambios metodológicos, aprendizaje colaborativo.
Resumen Se presenta una herramienta que puede ser empleada en la docencia de Sistemas Operativos, concretamente en el campo de los algoritmos de planificación de la CPU, elaborada como una aplicación Web en Java.
Resumen Se presentan las experiencias y posibilidades docentes que tiene el empleo de dos herramientas creadas para la docencia de Sistemas Operativos. Éstas son dos simuladores, uno de los algoritmos de planificación de la CPU, y otro de los algoritmos de sustitución de páginas, elaborados como aplicaciones Web en Java.
Resumen. Las técnicas de caja blanca y, más precisamente, las técnicas de prueba de mutaciones dependen del lenguaje de programación empleado. El trabajo que se expone presenta un generador de mutantes independiente del lenguaje de programación empleado, mediante el empleo de algoritmos genéticos. Una de las características del generador es que no...
Resumen Se presenta una herramienta que puede ser empleada en la docencia de Sistemas Operativos, concretamente en el campo de los algoritmos de sustitución de páginas, elaborada como una aplicación Web en Java.