Inmaculada Medina-Bulo

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 54

Top Venues

Inf. Softw. Technol.

GECCO (Companion)

Expert Syst. Appl.

Softw. Test. Verification Reliab.

Publications

Guadalupe Ortiz, Juan Boubeta-Puig, Javier Criado, David Corral-Plaza, Alfonso García de Prado, Inmaculada Medina-Bulo, Luis Iribarne
A microservice architecture for real-time IoT data processing: A reusable Web of things approach for smart ports. CoRR (2024)
Pedro Delgado-Pérez, Aurora Ramírez, Kevin J. Valle-Gómez, Inmaculada Medina-Bulo, José Raúl Romero
InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment. CoRR (2024)
Mariia Pokushko, Aljona A. Stupina, Inmaculada Medina-Bulo, Svetlana Ezhemanskaya, Roman Kuzmich, Roman Pokushko
Algorithm for Application of a Basic Model for the Data Envelopment Analysis Method in Technical Systems. Algorithms 16 (10) (2023)
Antonio García-Domínguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez
Computing performance requirements for web service compositions. Comput. Stand. Interfaces 83 (2023)
Pedro Delgado-Pérez, Aurora Ramírez, Kevin J. Valle-Gómez, Inmaculada Medina-Bulo, José Raúl Romero
InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment. IEEE Trans. Software Eng. 49 (4) (2023)
Kevin J. Valle-Gómez, Antonio García-Domínguez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo
Mutation-inspired symbolic execution for software testing. IET Softw. 16 (5) (2022)
Antonio Velez-Estevez, Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo
IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation. IEEE Trans. Reliab. 71 (3) (2022)
Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura
Mutation testing in the wild: findings from GitHub. Empir. Softw. Eng. 27 (6) (2022)
Guadalupe Ortiz, Juan Boubeta-Puig, Javier Criado, David Corral-Plaza, Alfonso García de Prado, Inmaculada Medina-Bulo, Luis Iribarne
A microservice architecture for real-time IoT data processing: A reusable Web of things approach for smart ports. Comput. Stand. Interfaces 81 (2022)
Aurora Ramírez, Pedro Delgado-Pérez, Kevin J. Valle-Gómez, Inmaculada Medina-Bulo, José Raúl Romero
Interactivity in the Generation of Test Cases with Evolutionary Computation. CEC (2021)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Miguel Ángel Álvarez-García, Kevin J. Valle-Gómez
Mutation Testing and Self/Peer Assessment: Analyzing their Effect on Students in a Software Testing Course. ICSE (SEET) (2021)
Pedro Delgado-Pérez, Ana Belén Sánchez, Sergio Segura, Inmaculada Medina-Bulo
Performance mutation testing. Softw. Test. Verification Reliab. 31 (5) (2021)
Soufiane Sail, Roberto Magán-Carrión, Inmaculada Medina-Bulo, Halima Bouden
Preserving authentication and availability security services through Multivariate Statistical Network Monitoring. J. Inf. Secur. Appl. 58 (2021)
Fatima Sajid Butt, Luigi La Blunda, Matthias F. Wagner, Jörg Schäfer, Inmaculada Medina-Bulo, David Gómez-Ullate
Fall Detection from Electrocardiogram (ECG) Signals and Classification by Deep Transfer Learning. Inf. 12 (2) (2021)
David Corral-Plaza, Guadalupe Ortiz, Inmaculada Medina-Bulo, Juan Boubeta-Puig
MEdit4CEP-SP: A model-driven solution to improve decision-making through user-friendly management and real-time processing of heterogeneous data streams. Knowl. Based Syst. 213 (2021)
Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner
Model Translation from Papyrus-RT into the nuXmv Model Checker. SEFM (2020)
Lorena Gutiérrez-Madroñal, Antonio García-Domínguez, Inmaculada Medina-Bulo
Combining Evolutionary Mutation Testing with Random Selection. CEC (2020)
Luigi La Blunda, Lorena Gutiérrez-Madroñal, Matthias F. Wagner, Inmaculada Medina-Bulo
A Wearable Fall Detection System Based on Body Area Networks. IEEE Access 8 (2020)
Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs. IEEE Access 8 (2020)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo
Customizable and scalable automated assessment of C/C++ programming assignments. Comput. Appl. Eng. Educ. 28 (6) (2020)
M. Carmen de Castro-Cabrera, Antonio García-Domínguez, Inmaculada Medina-Bulo
Trends in prioritization of test cases: 2017-2019. SAC (2020)
Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. 118 (2020)
Aurora Ramírez, Pedro Delgado-Pérez, Javier Ferrer, José Raúl Romero, Inmaculada Medina-Bulo, Francisco Chicano
A systematic literature review of the SBSE research community in Spain. Prog. Artif. Intell. 9 (2) (2020)
Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo, Mercedes G. Merayo
Mutation Operators for Google Query Language. ACIIDS (Companion) (2020)
David Corral-Plaza, Inmaculada Medina-Bulo, Guadalupe Ortiz, Juan Boubeta-Puig
A stream processing architecture for heterogeneous data sources in the Internet of Things. Comput. Stand. Interfaces 70 (2020)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures. J. Univers. Comput. Sci. 25 (7) (2019)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
An evolutionary hybrid search heuristic for monitor placement in communication networks. J. Heuristics 25 (6) (2019)
Pedro Delgado-Pérez, Louis M. Rose, Inmaculada Medina-Bulo
Coverage-based quality metric of mutation operators for test suite improvement. Softw. Qual. J. 27 (2) (2019)
Kevin J. Valle-Gómez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, José Magallanes Fernández
Software testing: cost reduction in Industry 4.0. AST@ICSE (2019)
Lorena Gutiérrez-Madronal, Antonio García-Domínguez, Inmaculada Medina-Bulo
Evolutionary mutation testing for IoT with recorded and generated events. Softw. Pract. Exp. 49 (4) (2019)
Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez
Using Genetic Algorithms to Generate Test Suites for FSMs. IWANN (1) (2019)
M. Carmen de Castro-Cabrera, Antonio García-Domínguez, Inmaculada Medina-Bulo
Using constraint solvers to support metamorphic testing. MET@ICSE (2019)
Lorena Gutiérrez-Madronal, Luigi La Blunda, Matthias F. Wagner, Inmaculada Medina-Bulo
Test Event Generation for a Fall-Detection IoT System. IEEE Internet Things J. 6 (4) (2019)
Lorena Gutiérrez-Madronal, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez
Evaluation of EPL mutation operators with the MuEPL mutation system. Expert Syst. Appl. 116 (2019)
Lorena Gutiérrez-Madronal, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez
IoT-TEG: Test event generator system. J. Syst. Softw. 137 (2018)
Manuel Grob, Martin Kappes, Inmaculada Medina-Bulo
Combining Case-Based Reasoning with Complex Event Processing for Network Traffic Classification. ICCBR (2018)
Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo
Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Trans. Reliab. 67 (4) (2018)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks. NOMS (2018)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures. GECCO (Companion) (2018)
Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura
Search-based mutation testing to improve performance tests. GECCO (Companion) (2018)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo
Search-based mutant selection for efficient test suite improvement: Evaluation and results. Inf. Softw. Technol. 104 (2018)
Ana Belén Sánchez, Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo
Performance mutation testing: Hypothesis and open questions. Inf. Softw. Technol. 103 (2018)
Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez
Test suite minimization for mutation testing of WS-BPEL compositions. GECCO (2018)
Robin Mueller-Bady, Martin Kappes, Lukas Atkinson, Inmaculada Medina-Bulo
Multijob: a framework for efficient distribution of evolutionary algorithms for parameter tuning. GECCO (Companion) (2017)
Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo
Assessment of C++ object-oriented mutation operators: A selective mutation approach. Softw. Test. Verification Reliab. 27 (4-5) (2017)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez
Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184]. Inf. Softw. Technol. 87 (2017)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Manuel Núñez
Using Evolutionary Mutation Testing to improve the quality of test suites. CEC (2017)
Yasser El Khamlichi, Abderrahim Tahiri, Anouar Abtoy, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes. Algorithms 10 (3) (2017)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez
Assessment of class mutation operators for C++ with the MuCPP mutation system. Inf. Softw. Technol. 81 (2017)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura, Antonio García-Domínguez, Juan José Domínguez-Jiménez
GiGAn: evolutionary mutation testing for C++ object-oriented systems. SAC (2017)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm. GECCO (2017)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Mercedes G. Merayo
Using Evolutionary Computation to Improve Mutation Testing. IWANN (2) (2017)
Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo
Local programming language barriers in stream-based systems. ISCC (2016)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. GECCO (Companion) (2016)
Robin Mueller-Bady, Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo
Using Genetic Algorithms for Deadline-Constrained Monitor Selection in Dynamic Computer Networks. GECCO (Companion) (2015)
Juan Boubeta-Puig, Guadalupe Ortiz, Inmaculada Medina-Bulo
MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0. Knowl. Based Syst. 89 (2015)
Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo
Monitoring traffic in computer networks with dynamic distributed remote packet capturing. ICC (2015)
Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez
Quality metrics for mutation testing with applications to WS-BPEL compositions. Softw. Test. Verification Reliab. 25 (5-7) (2015)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez, Francisco Palomo-Lozano
Class mutation operators for C++ object-oriented systems. Ann. des Télécommunications 70 (3-4) (2015)
Juan Boubeta-Puig, Guadalupe Ortiz, Inmaculada Medina-Bulo
ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns. Expert Syst. Appl. 42 (21) (2015)
Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo
Improving network traffic acquisition and processing with the Java Virtual Machine. ISCC (2015)
Antonio García-Domínguez, Ismael Jerez-Ibáñez, Inmaculada Medina-Bulo
Two Case Studies on Generating Administrative Process Applications with AdminDSL. BMSD (2015)
Manuel Palomo-Duarte, Juan Manuel Dodero, Inmaculada Medina-Bulo, Emilio J. Rodríguez-Posada, Ivan Ruiz-Rube
Assessment of collaborative learning experiences by graphical analysis of wiki contributions. Interact. Learn. Environ. 22 (4) (2014)
Maria Azahara Camacho-Magrinan, Mercedes G. Merayo, Inmaculada Medina-Bulo
PTTAC: Passive Testing Tool for Asynchronous Systems. SITIS (2014)
Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo
Automatic dynamic generation of likely invariants for WS-BPEL compositions. Expert Syst. Appl. 41 (11) (2014)
Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. ICTSS (2014)
Ruediger Gad, Martin Kappes, Robin Mueller-Bady, Inmaculada Medina-Bulo
Header Field Based Partitioning of Network Traffic for Distributed Packet Capturing and Processing. AINA (2014)
Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo
Exact scalable sensitivity analysis for the next release problem. ACM Trans. Softw. Eng. Methodol. 23 (2) (2014)
Juan Boubeta-Puig, Guadalupe Ortiz, Inmaculada Medina-Bulo
A model-driven approach for facilitating user-friendly design of complex event patterns. Expert Syst. Appl. 41 (2) (2014)
Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo
Bridging the Gap between Low-Level Network Traffic Data Acquisition and Higher-Level Frameworks. COMPSAC Workshops (2014)
Manuel Palomo-Duarte, Juan Manuel Dodero, Antonio García-Domínguez, Pablo Neira Ayuso, Noelia Sales-Montes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Carmen Castro-Cabrera, Emilio J. Rodríguez-Posada, Antonio Balderas
Scalability of assessments of wiki-based learning experiences in higher education. Comput. Hum. Behav. 31 (2014)
Yehia Taher, Juan Boubeta-Puig, Willem-Jan van den Heuvel, Guadalupe Ortiz, Inmaculada Medina-Bulo
A Model-Driven Approach for Web Service Adaptation Using Complex Event Processing. ESOCC Workshops (2013)
Carmen Castro-Cabrera, Inmaculada Medina-Bulo, Azahara Camacho
Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing. ICSOFT (2012)
Lorena Gutiérrez-Madronal, Hossain Shahriar, Mohammad Zulkernine, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo
Mutation Testing of Event Processing Queries. ISSRE (2012)
Rüdiger Gad, Juan Boubeta-Puig, Martin Kappes, Inmaculada Medina-Bulo
Hierarchical events for efficient distributed network analysis and surveillance. WAS4FI-Mashups (2012)
Juan Boubeta-Puig, Inmaculada Medina-Bulo, Guadalupe Ortiz, Germán Fuentes-Landi
Complex event processing applied to early maritime threat detection. WAS4FI-Mashups (2012)
Carmen Castro-Cabrera, Inmaculada Medina-Bulo
Application of Metamorphic Testing to a Case Study in Web Services Compositions. ICETE (Selected Papers) (2011)
Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena
Model-driven Design of Performance Requirements with UML and MARTE. ICSOFT (2) (2011)
Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo
EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS (2011)
Carmen Castro-Cabrera, Inmaculada Medina-Bulo
An Approach to Metamorphic Testing for WS-BPEL Compositions. ICE-B (2011)
Emilio J. Rodríguez-Posada, Juan Manuel Dodero, Manuel Palomo-Duarte, Inmaculada Medina-Bulo
Learning-oriented Assessment of Wiki Contributions - How to Assess Wiki Contributions in a Higher Education Learning Setting. CSEDU (2) (2011)
Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena
Model-Driven Design of Performance Requirements. QSIC (2011)
Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo
Evolutionary mutation testing. Inf. Softw. Technol. 53 (10) (2011)
Emma Blanco-Muñoz, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo
Towards Higher-order Mutant Generation for WS-BPEL. ICE-B (2011)
Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena
An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE. ICSOFT (Selected Papers) (2011)
Juan Boubeta-Puig, Inmaculada Medina-Bulo, Antonio García-Domínguez
Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages. ICST Workshops (2011)
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina
A verified Common Lisp implementation of Buchberger's algorithm in ACL2. J. Symb. Comput. 45 (1) (2010)
Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo
Mutación evolutiva. JISBD (2010)
Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo
GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. ICWE (2010)
Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. ICST Workshops (2010)
Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz
Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. ICWE (2010)
Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena
SODM+T: Inferencia de restricciones de rendimiento. JISBD (2010)
Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo
GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions. ECOWS (2009)
Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo
A Framework for Mutant Genetic Generation for WS-BPEL. SOFSEM (2009)
Manuel Palomo-Duarte, Antonio García-Domínguez, Alejandro Álvarez-Ayllón, Inmaculada Medina-Bulo
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. JISBD (2009)
Antonia Estero-Botaro, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Lorena Gutiérrez
GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL. JISBD (2009)
Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo
Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. ICWE (2009)
Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo
Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions. ECOWS (2008)
Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo
An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions. ICE-B (2008)
Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition. SOSE (2008)

Inmaculada Medina-Bulo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Inmaculada Medina-Bulo