Ana B. Sánchez- Professor
- Professor (Assistant) at University of Seville
Ana B. Sánchez
- Professor
- Professor (Assistant) at University of Seville
About
27
Publications
13,805
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
869
Citations
Introduction
I am am Associated Professor of Software Engineering at the University of Seville (Spain). I am a member of the Applied Software Engineering research group, and a collaborator member of the SCORE Unit of Excellence. My current research interests focus on software testing, AI-driven SE, and teaching SE.
Current institution
Additional affiliations
March 2017 - March 2018
Education
February 2012 - May 2016
Publications
Publications (27)
The battle for AI leadership is on, with OpenAI in the United States and DeepSeek in China as key contenders. In response to these global trends, the Spanish government has proposed ALIA, a public and transparent AI infrastructure incorporating small language models designed to support Spanish and co-official languages such as Basque. This paper pr...
Mutation testing drives the creation and improvement of test cases by evaluating their ability to identify synthetic faults. Over the past decades, the technique has gained popularity in academic circles. In practice, however, little is known about its adoption and use. While there are some pilot studies applying mutation testing in industry, the o...
The generation of code templates from web API specifications is a common practice in industry. However, existing tools neglect the dependencies among input parameters (so-called inter-parameter dependencies), extremely common in practice and usually described in natural language. As a result, developers are responsible for implementing the correspo...
This chapter describes the challenges related to the software deployment and configuration activities, which could be addressed through AI techniques. Additionally, we illustrate the application of such techniques with two specific problems: the QoS-aware binding of web services, and the selection of the optimal configuration in highly-configurable...
La enseñanza de arquitectura del software supone todo un reto. Los conceptos teóricos son a menudo muy abstractos y los problemas arquitectónicos sólo son claramente visibles en aplicaciones de cierta envergadura. El reto es aún mayor cuando estos conceptos se enseñan en las primeras etapas del grado cuando los conocimientos de diseño y programació...
The generation of code templates from web API specifications is a common practice in the software industry. However, existing tools neglect the dependencies among input parameters (so called inter-parameter dependencies), extremely common in practice and usually described in natural language. As a result, developers are responsible for implementing...
Mutation testing exploits artificial faults to measure the adequacy of test suites and guide their improvement. It has become an extremely popular testing technique as evidenced by the vast literature, numerous tools, and research events on the topic. Previous survey papers have successfully compiled the state of research, its evolution, problems,...
The detection of performance bugs, like those causing an unexpected execution time, has gained much attention in the last years due to their potential impact in safety-critical and resourceconstrained applications. Much effort has been put on trying to understand the nature of performance bugs in different domains as a starting point for the develo...
Performance bugs are known to be a major threat to the success of software products. Performance tests aim to detect performance bugs by executing the program through test cases and checking whether it exhibits a noticeable performance degradation. The principles of mutation testing, a well-established testing technique for the assessment of test s...
Performance bugs are common and can cause a significant deterioration in the behaviour of a program, leading to costly issues. To detect them and reduce their impact, performance tests are typically applied. However, there is a lack of mechanisms to evaluate the quality of performance tests, causing many of these bugs remain unrevealed. Mutation te...
Performance bugs are common, costly, and elusive. Performance tests aim to detect performance bugs by running the program with specific inputs and determining whether the observed behaviour is acceptable. There not exist mechanisms, however, to assess the effectiveness of performance tests. Mutation testing is a technique to evaluate and enhance fu...
Test case prioritization techniques aim to identify the optimal ordering of tests to accelerate the detection of faults. The importance of these techniques has been recognized in the context of Software Product Lines (SPLs), where the potentially huge number of products makes testing extremely challenging. We found that the open source Drupal frame...
Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. The order of test cases is determined by prioritization objectives such as covering code or critical components as rapidly as possible. The importance of this technique has been recognized in the context of Highly-Configurabl...
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the expected output. This is not always practical, for example when a program's input-output relation is complex and difficult to capture formally. Metamorphic testing provides an alternative, where correctness is not determined by c...
Variability testing techniques search for effective and manageable test suites that lead to the rapid detection of faults in systems with high variability. Evaluating the effectiveness of these techniques in realistic settings is a must, but challenging due to the lack of variability intensive systems with available code, automated tests and fault...
Variability determines the capability of software applications to be configured and customized. A common need during the development of variability-intensive systems is the automated analysis of their underlying variability models, for example, detecting contradictory configuration options. The analysis operations that are performed on variability...
In this paper, we report on our experience on the devel-opment of La Hilandera, an e-commerce site selling haber-dashery products and craft supplies in Europe. The store has a huge input space where customers can place almost three millions of different orders which made testing an ex-tremely difficult task. To address the challenge, we explored th...
Software Product Line (SPL) testing is challenging due to the potentially huge number of derivable products. To alleviate this problem, numerous contributions have been proposed to reduce the number of products to be tested while still having a good coverage. However, not much attention has been paid to the order in which the products are tested. T...
Variability testing techniques search for effective but man-ageable test suites that lead to the rapid detection of faults in systems with high variability. Evaluating the effectiveness of these techniques in real settings is a must but challenging due to the lack of variability-intensive systems with avail-able code, automated tests and fault repo...
La priorización de pruebas consiste en establecer un orden de ejecución para los casos de prueba que permita alcanzar un determinado objetivo. Por ejemplo, es posible reordenar los casos de prueba para detectar fallos lo antes posible o conseguir un determinado nivel de cobertura de código cuanto antes. En este artículo, presentamos y clasificamos...
The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial com-plexity of the analyses. In previous works, we successfully automated the generation of test data for feature model analysis tools using metamor-phic testing. The positive results obtained have encouraged us to explore...
