Ana B. Sánchez

Ana B. Sánchez
Universidad de Sevilla | US · Languages and Systems

Postdoctoral researcher

About

21
Publications
10,471
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
562
Citations
Additional affiliations
March 2017 - March 2018
Universidad de Sevilla
Position
  • PhD Student
Education
February 2012 - May 2016
Universidad de Sevilla
Field of study
  • Test Case Prioritization in Highly-Configurable Systems

Publications

Publications (21)
Article
Full-text available
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,...
Article
Full-text available
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...
Article
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...
Conference Paper
Full-text available
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...
Article
Full-text available
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...
Conference Paper
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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...
Article
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...
Conference Paper
Full-text available
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...
Conference Paper
Full-text available
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...
Conference Paper
Full-text available
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...
Article
Full-text available
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...
Conference Paper
Full-text available
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...

Network

Cited By

Projects

Projects (3)
Project
Developing models, techniques and tools to improve the reliability, customisation and operation of service-based applications regulated by user agreements.
Project
The objective of the project is to develop models, techniques and tools that improve the reliability, customization, dependability and cost of operation of service-oriented systems regulated by user agreements.