Ana B. Sánchez

ORCID: 0000-0003-1473-0955
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Software Testing and Debugging Techniques
  • Advanced Software Engineering Methodologies
  • Software System Performance and Reliability
  • Software Reliability and Analysis Research
  • Software Engineering Research
  • Context-Aware Activity Recognition Systems
  • Service-Oriented Architecture and Web Services
  • Scientific Computing and Data Management
  • Parallel Computing and Optimization Techniques
  • Embedded Systems Design Techniques
  • Model-Driven Software Engineering Techniques
  • Distributed and Parallel Computing Systems
  • E-Learning and Knowledge Management
  • Advanced Data Storage Technologies
  • Green IT and Sustainability
  • IoT and Edge/Fog Computing
  • Multi-Agent Systems and Negotiation
  • Educational Innovations and Technology
  • Ovarian cancer diagnosis and treatment
  • Myeloproliferative Neoplasms: Diagnosis and Treatment
  • Immunodeficiency and Autoimmune Disorders
  • Diabetes Management and Research
  • Artificial Intelligence in Healthcare
  • Logic, Reasoning, and Knowledge
  • Personal Information Management and User Behavior

Universidad de Sevilla
2014-2024

Bellvitge University Hospital
2024

Universidad de Murcia
2009-2021

Centro Regional de Hemodonación
2021

Universitat Politècnica de València
2011-2012

A test oracle determines whether a execution reveals fault, often by comparing the observed program output to expected output. This is not always practical, for example when program's input-output relation complex and difficult capture formally. Metamorphic testing provides an alternative, where correctness determined checking individual concrete output, but applying transformation input observing how "morphs" into different one as result. Since introduction of such metamorphic relations in...

10.1109/tse.2016.2532875 article EN IEEE Transactions on Software Engineering 2016-02-29

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 reduce products be tested while still having a good coverage. However, not much attention has paid order in which are tested. Test case prioritization techniques reorder test cases meet certain performance goal. For instance, testers may wish their detect faults as soon possible, would translate faster feedback and...

10.1109/icst.2014.15 article EN 2014-03-01

Mutation testing drives the creation and improvement of test cases by evaluating their ability to identify synthetic faults. Over past decades, technique has gained popularity in academic circles. In practice, however, little is known about its adoption use. While there are some pilot studies applying mutation industry, overall usage among developers remains largely unexplored. To fill this gap, paper presents results a qualitative study open-source on use testing. Specifically, we report...

10.1109/tse.2024.3377378 article EN cc-by IEEE Transactions on Software Engineering 2024-03-18

Abstract Mutation testing exploits artificial faults to measure the adequacy of test suites and guide their improvement. It has become an extremely popular technique as evidenced by vast literature, numerous tools, research events on topic. Previous survey papers have successfully compiled state research, its evolution, problems, challenges. However, use mutation in practice is still largely unexplored. In this paper, we report results a thorough study GitHub projects. Specifically, first...

10.1007/s10664-022-10177-8 article EN cc-by Empirical Software Engineering 2022-07-18

Summary Variability determines the capability of software applications to be configured and customized. A common need during development variability‐intensive systems is automated analysis their underlying variability models, for example, detecting contradictory configuration options. The operations that are performed on models often very complex, which hinders testing corresponding tools makes difficult, infeasible, determine correctness outputs, is, well‐known oracle problem in testing. In...

10.1002/stvr.1566 article EN Software Testing Verification and Reliability 2015-01-13

Summary Performance bugs are known to be a major threat the success of software products. tests aim detect performance by executing program through test cases and checking whether it exhibits noticeable degradation. The principles mutation testing, well‐established testing technique for assessment suites injection artificial faults, could exploited evaluate improve detection power . However, application assess tests, henceforth called (PMT), is novel research topic with numerous open...

10.1002/stvr.1728 article EN Software Testing Verification and Reliability 2020-01-29

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 safety-critical and resource-constrained applications. Much effort been put on trying understand nature bugs different domains as a starting point for development effective testing techniques. However, lack widely accepted classification scheme faults and, more importantly, well-documented understandable datasets makes it difficult draw...

10.1109/access.2020.3000928 article EN cc-by IEEE Access 2020-01-01

Variability testing techniques search for effective but manageable test suites that lead to the rapid detection of faults in systems with high variability. Evaluating effectiveness these real settings is a must challenging due lack variability-intensive available code, automated tests and fault reports. In this paper, we propose using Drupal framework as case study evaluate variability techniques. First, represent feature model. Then, report on extensive data extracted from git repository...

10.1145/2556624.2556638 article EN 2014-01-14

In this paper, we report on our experience the development of La Hilandera, an e-commerce site selling haberdashery products and craft supplies in Europe. The store has a huge input space where customers can place almost three millions different orders which made testing extremely difficult task. To address challenge, explored applicability some practices for variability management software product lines. First, used feature model to represent provided us with view easy understand, share...

10.1145/2642937.2642939 article EN 2014-09-15

Performance bugs are common and can cause a significant deterioration in the behaviour of program, leading to costly issues. To detect them reduce their impact, performance tests typically applied. However, there is lack mechanisms evaluate quality tests, causing many these remain unrevealed. Mutation testing, fault-based technique assess improve test suites, has been successfully studied with functional tests. In this paper, we propose use mutation testing together search-based strategy...

10.1145/3205651.3205670 article EN Proceedings of the Genetic and Evolutionary Computation Conference Companion 2018-07-06

<h3>Introduction/Background</h3> Despite the development of new targeted therapies for patients with ovarian cancer, surgery remains a fundamental cornerstone in its treatment, particularly management recurrences. Our objective is to present highly complex surgical case managed multidisciplinary, from indication postoperative care. <h3>Methodology</h3> A 61-year-old patient was suspected recurrence 21 months disease-free survival after completing her first-line treatment NACT+IDS+Adjuvant...

10.1136/ijgc-2024-esgo.96 article EN 2024-03-01
Coming Soon ...