Inmaculada Medina-Bulo

Prof. Dr. Inmaculada Medina-Bulo

University of Cádiz
orcid

Research Focus & Metrics

Academic Career Length

19Years (2008-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 November 2015 in Knowledge-Based Systems
Verified
Journal Article
Closed access
JBJuan Boubeta-Puig
Juan Boubeta-Puig
GOGuadalupe Ortiz
Guadalupe Ortiz
Inmaculada Medina-BuloInmaculada Medina-Bulo
Inmaculada Medina-Bulo

1 October 2011 in Information and Software Technology
Verified
Journal Article
Closed access
JDJuan José Domínguez-Jiménez
Juan José Domínguez-Jiménez
AEA. Estero-Botaro
A. Estero-Botaro
AGAntonio García
Antonio García
Inmaculada Medina-BuloInmaculada Medina-Bulo
Inmaculada Medina-Bulo

1 January 2017 in Information and Software Technology
Verified
Journal Article
Open access
PDPedro Delgado-Pérez
Pedro Delgado-Pérez
Inmaculada Medina-BuloInmaculada Medina-Bulo
Inmaculada Medina-Bulo
FPFrancisco Palomo-Lozano
Francisco Palomo-Lozano
AGAntonio García
Antonio García
JDJuan José Domínguez-Jiménez
Juan José Domínguez-Jiménez
Context: Mutation testing has been mainly analyzed regarding traditional mutation operators involving structured programming constructs common in mainstream languages, but mutations at the class level have not been assessed to the same extent. This fact is noteworthy in the case of C + + , despite being one of the most relevant languages including object-oriented features. Objective: This paper provides a complete evaluation of class operators for the C + + programming language. MuCPP, a new system devoted to the application of mutation testing to this language, was developed to this end. This mutation system implements class mutation operators in a robust way, dealing with the inherent complexity of the language. Method:MuCPP generates the mutants by traversing the abstract syntax tree of each translation unit with the Clang API, and stores mutants as branches in the Git version control system. The tool is able to detect duplicate mutants, avoid system headers, and drive the compilation process. Then, MuCPP is used to conduct experiments with several open-source C + + programs. Results: The improvement rules listed in this paper to reduce unproductive class mutants have a significant impact in the computational cost of the technique. We also calculate the quantity and distribution of mutants generated with class operators, which generate far fewer mutants than their traditional counterparts. Conclusions: We show that the tests accompanying these programs cannot detect faults related to particular object-oriented features of C + + . In order to increase the mutation score, we create new test scenarios to kill the surviving class mutants for all the applications. The results confirm that, while traditional mutation operators are still needed, class operators can complement them and help testers further improve the test suite.

1 March 2014 in ACM Transactions on Software Engineering and Methodology
Verified
Journal Article
Open access
MHMark Harman
Mark Harman
JKJens Krinke
Jens Krinke
Inmaculada Medina-BuloInmaculada Medina-Bulo
Inmaculada Medina-Bulo
FPFrancisco Palomo-Lozano
Francisco Palomo-Lozano
JRJian Ren
Jian Ren
SYShin Yoo
Shin Yoo
The nature of the requirements analysis problem, based as it is on uncertain and often inaccurate estimates of costs and effort, makes sensitivity analysis important. Sensitivity analysis allows the decision maker to identify those requirements and budgets that are particularly sensitive to misestimation. However, finding scalable sensitivity analysis techniques is not easy because the underlying optimization problem is NP-hard. This article introduces an approach to sensitivity analysis based on exact optimization. We implemented this approach as a tool, O ATSAC , which allowed us to experimentally evaluate the scalability and applicability of Requirements Sensitivity Analysis (RSA). Our results show that O ATSAC scales sufficiently well for practical applications in Requirements Sensitivity Analysis. We also show how the sensitivity analysis can yield insights into difficult and otherwise obscure interactions between budgets, requirements costs, and estimate inaccuracies using a real-world case study.

18 July 2017 in Algorithms
Verified
Journal Article
Open access
PDF file
YKYasser El Khamlichi
Yasser El Khamlichi
ATAbderrahim Tahiri
Abderrahim Tahiri
AAAnouar Abtoy
Anouar Abtoy
Inmaculada Medina-BuloInmaculada Medina-Bulo
Inmaculada Medina-Bulo
FPFrancisco Palomo-Lozano
Francisco Palomo-Lozano
Wireless sensor network (WSN) applications are rapidly growing and are widely used in various disciplines. Deployment is one of the key issues to be solved in WSNs, since the sensor nodes’ positioning affects highly the system performance. An optimal WSN deployment should maximize the collection of the desired interest phenomena, guarantee the required coverage and connectivity, extend the network lifetime, and minimize the network cost in terms of energy consumption. Most of the research effort in this area aims to solve the deployment issue, without minimizing the network cost by reducing unnecessary working nodes in the network. In this paper, we propose a deployment approach based on the gradient method and the Simulated Annealing algorithm to solve the sensor deployment problem with the minimum number of sensor nodes. The proposed algorithm is able to heuristically optimize the number of sensors and their positions in order to achieve the desired application requirements.

3 February 2021 in Information
Verified
Journal Article
Open access
PDF file
Fatima Sajid ButtFatima Sajid Butt
Fatima Sajid Butt
LBLuigi La Blunda
Luigi La Blunda
Matthias WagnerMatthias Wagner
Matthias Wagner
Jörg SchäferJörg Schäfer
Jörg Schäfer
Inmaculada Medina-BuloInmaculada Medina-Bulo
Inmaculada Medina-Bulo
DGDavid Gómez-Ullate
David Gómez-Ullate
Fall is a prominent issue due to its severe consequences both physically and mentally. Fall detection and prevention is a critical area of research because it can help elderly people to depend less on caregivers and allow them to live and move more independently. Using electrocardiograms (ECG) signals independently for fall detection and activity classification is a novel approach used in this paper. An algorithm has been proposed which uses pre-trained convolutional neural networks AlexNet and GoogLeNet as a classifier between the fall and no fall scenarios using electrocardiogram signals. The ECGs for both falling and no falling cases were obtained as part of the study using eight volunteers. The signals are pre-processed using an elliptical filter for signal noises such as baseline wander and power-line interface. As feature extractors, frequency-time representations (scalograms) were obtained by applying a continuous wavelet transform on the filtered ECG signals. These scalograms were used as inputs to the neural network and a significant validation accuracy of 98.08% was achieved in the first model. The trained model is able to distinguish ECGs with a fall activity from an ECG with a no fall activity with an accuracy of 98.02%. For the verification of the robustness of the proposed algorithm, our experimental dataset was augmented by adding two different publicly available datasets to it. The second model can classify fall, daily activities and no activities with an accuracy of 98.44%. These models were developed by transfer learning from the domain of real images to the medical images. In comparison to traditional deep learning approaches, the transfer learning not only avoids “reinventing the wheel,” but also presents a lightweight solution to otherwise computationally heavy problems.