A Certified Polynomial-Based Decision Procedure for Propositional Logic. - Inmaculada Medina-Bulo; Francisco Palomo-Lozano; José A. Alonso-Jiménez (TPHOLs, 2001)

Verified Computer Algebra in Acl2. Gröbner Bases Computation. - Inmaculada Medina-Bulo; Francisco Palomo-Lozano; José A. Alonso-Jiménez; José-Luis Ruiz-Reina (AISC, 2004)

Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (ECOWS, 2008)

An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (ICE-B, 2008)

Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (SOSE, 2008)

GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Antonio García-Domínguez; Inmaculada Medina-Bulo (ECOWS, 2009)

Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (ICWE, 2009)

GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL. - Antonia Estero-Botaro; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez; Lorena Gutiérrez (JISBD, 2009)

Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. - Manuel Palomo-Duarte; Antonio García-Domínguez; Alejandro Álvarez-Ayllón; Inmaculada Medina-Bulo (JISBD, 2009)

A Framework for Mutant Genetic Generation for WS-BPEL. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Inmaculada Medina-Bulo (SOFSEM, 2009)

Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. - Antonia Estero-Botaro; Francisco Palomo-Lozano; Inmaculada Medina-Bulo (ICST Workshops, 2010)

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Antonio García-Domínguez; Inmaculada Medina-Bulo (ICWE, 2010)

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo; Alejandro Álvarez-Ayllón; Javier Santacruz (ICWE, 2010)

SODM+T: Inferencia de restricciones de rendimiento. - Antonio García-Domínguez; Inmaculada Medina-Bulo; Mariano Marcos-Bárcena (JISBD, 2010)

Mutación evolutiva. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Antonio García-Domínguez; Inmaculada Medina-Bulo (JISBD, 2010)

A verified Common Lisp implementation of Buchberger's algorithm in ACL2. - Inmaculada Medina-Bulo; Francisco Palomo-Lozano; José-Luis Ruiz-Reina (J. Symb. Comput., 2010)

Learning-oriented Assessment of Wiki Contributions - How to Assess Wiki Contributions in a Higher Education Learning Setting. - Emilio J. Rodríguez-Posada; Juan Manuel Dodero; Manuel Palomo-Duarte; Inmaculada Medina-Bulo (CSEDU (2), 2011)

Towards Higher-order Mutant Generation for WS-BPEL. - Emma Blanco-Muñoz; Antonio García-Domínguez; Juan José Domínguez-Jiménez; Inmaculada Medina-Bulo (ICE-B, 2011)

An Approach to Metamorphic Testing for WS-BPEL Compositions. - Carmen Castro-Cabrera; Inmaculada Medina-Bulo (ICE-B, 2011)

Application of Metamorphic Testing to a Case Study in Web Services Compositions. - Carmen Castro-Cabrera; Inmaculada Medina-Bulo (ICETE (Selected Papers), 2011)

Model-driven Design of Performance Requirements with UML and MARTE. - Antonio García-Domínguez; Inmaculada Medina-Bulo; Mariano Marcos-Bárcena (ICSOFT (2), 2011)

An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE. - Antonio García-Domínguez; Inmaculada Medina-Bulo; Mariano Marcos-Bárcena (ICSOFT (Selected Papers), 2011)

Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages. - Juan Boubeta-Puig; Inmaculada Medina-Bulo; Antonio García-Domínguez (ICST Workshops, 2011)

EUnit: A Unit Testing Framework for Model Management Tasks. - Antonio García-Domínguez; Dimitrios S. Kolovos; Louis M. Rose; Richard F. Paige; Inmaculada Medina-Bulo (MoDELS, 2011)

Model-Driven Design of Performance Requirements. - Antonio García-Domínguez; Inmaculada Medina-Bulo; Mariano Marcos-Bárcena (QSIC, 2011)

Evolutionary mutation testing. - Juan José Domínguez-Jiménez; Antonia Estero-Botaro; Antonio García-Domínguez; Inmaculada Medina-Bulo (Inf. Softw. Technol., 2011)

Complex event processing applied to early maritime threat detection. - Juan Boubeta-Puig; Inmaculada Medina-Bulo; Guadalupe Ortiz 001; Germán Fuentes-Landi (WAS4FI-Mashups, 2012)

Hierarchical events for efficient distributed network analysis and surveillance. - Rüdiger Gad; Juan Boubeta-Puig; Martin Kappes; Inmaculada Medina-Bulo (WAS4FI-Mashups, 2012)

Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing. - Carmen Castro-Cabrera; Inmaculada Medina-Bulo; Azahara Camacho (ICSOFT, 2012)

Mutation Testing of Event Processing Queries. - Lorena Gutiérrez-Madronal; Hossain Shahriar; Mohammad Zulkernine; Juan José Domínguez-Jiménez; Inmaculada Medina-Bulo (ISSRE, 2012)

A Model-Driven Approach for Web Service Adaptation Using Complex Event Processing. - Yehia Taher; Juan Boubeta-Puig; Willem-Jan van den Heuvel; Guadalupe Ortiz 001; Inmaculada Medina-Bulo (ESOCC Workshops, 2013)

Header Field Based Partitioning of Network Traffic for Distributed Packet Capturing and Processing. - Ruediger Gad; Martin Kappes; Robin Mueller-Bady; Inmaculada Medina-Bulo (AINA, 2014)

Bridging the Gap between Low-Level Network Traffic Data Acquisition and Higher-Level Frameworks. - Ruediger Gad; Martin Kappes; Inmaculada Medina-Bulo (COMPSAC Workshops, 2014)

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. - Antonia Estero-Botaro; Antonio García-Domínguez; Juan José Domínguez-Jiménez; Francisco Palomo-Lozano; Inmaculada Medina-Bulo (ICTSS, 2014)

PTTAC: Passive Testing Tool for Asynchronous Systems. - Maria Azahara Camacho-Magrinan; Mercedes G. Merayo; Inmaculada Medina-Bulo (SITIS, 2014)

Scalability of assessments of wiki-based learning experiences in higher education. - 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 (Comput. Hum. Behav., 2014)

A model-driven approach for facilitating user-friendly design of complex event patterns. - Juan Boubeta-Puig; Guadalupe Ortiz 001; Inmaculada Medina-Bulo (Expert Syst. Appl., 2014)

Automatic dynamic generation of likely invariants for WS-BPEL compositions. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo (Expert Syst. Appl., 2014)

Assessment of collaborative learning experiences by graphical analysis of wiki contributions. - Manuel Palomo-Duarte; Juan Manuel Dodero; Inmaculada Medina-Bulo; Emilio J. Rodríguez-Posada; Ivan Ruiz-Rube (Interact. Learn. Environ., 2014)

Exact scalable sensitivity analysis for the next release problem. - Mark Harman; Jens Krinke; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Jian Ren 004; Shin Yoo (ACM Trans. Softw. Eng. Methodol., 2014)

Two Case Studies on Generating Administrative Process Applications with AdminDSL. - Antonio García-Domínguez; Ismael Jerez-Ibáñez; Inmaculada Medina-Bulo (BMSD, 2015)

Using Genetic Algorithms for Deadline-Constrained Monitor Selection in Dynamic Computer Networks. - Robin Mueller-Bady; Ruediger Gad; Martin Kappes; Inmaculada Medina-Bulo (GECCO (Companion), 2015)

Monitoring traffic in computer networks with dynamic distributed remote packet capturing. - Ruediger Gad; Martin Kappes; Inmaculada Medina-Bulo (ICC, 2015)

Improving network traffic acquisition and processing with the Java Virtual Machine. - Ruediger Gad; Martin Kappes; Inmaculada Medina-Bulo (ISCC, 2015)

Class mutation operators for C++ object-oriented systems. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez; Antonio García-Domínguez; Francisco Palomo-Lozano (Ann. des Télécommunications, 2015)

ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns. - Juan Boubeta-Puig; Guadalupe Ortiz 001; Inmaculada Medina-Bulo (Expert Syst. Appl., 2015)

MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0. - Juan Boubeta-Puig; Guadalupe Ortiz 001; Inmaculada Medina-Bulo (Knowl. Based Syst., 2015)

Quality metrics for mutation testing with applications to WS-BPEL compositions. - Antonia Estero-Botaro; Francisco Palomo-Lozano; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez; Antonio García-Domínguez (Softw. Test. Verification Reliab., 2015)

Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (GECCO (Companion), 2016)

Local programming language barriers in stream-based systems. - Ruediger Gad; Martin Kappes; Inmaculada Medina-Bulo (ISCC, 2016)

Using Evolutionary Mutation Testing to improve the quality of test suites. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Manuel Núñez 001 (CEC, 2017)

Multijob: a framework for efficient distribution of evolutionary algorithms for parameter tuning. - Robin Mueller-Bady; Martin Kappes; Lukas Atkinson; Inmaculada Medina-Bulo (GECCO (Companion), 2017)

Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (GECCO, 2017)

Using Evolutionary Computation to Improve Mutation Testing. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Mercedes G. Merayo (IWANN (2), 2017)

GiGAn: evolutionary mutation testing for C++ object-oriented systems. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura; Antonio García-Domínguez; Juan José Domínguez-Jiménez (SAC, 2017)

A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes. - Yasser El Khamlichi; Abderrahim Tahiri; Anouar Abtoy; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (Algorithms, 2017)

Assessment of class mutation operators for C++ with the MuCPP mutation system. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Antonio García-Domínguez; Juan José Domínguez-Jiménez (Inf. Softw. Technol., 2017)

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184]. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Antonio García-Domínguez; Juan José Domínguez-Jiménez (Inf. Softw. Technol., 2017)

Assessment of C++ object-oriented mutation operators: A selective mutation approach. - Pedro Delgado-Pérez; Sergio Segura; Inmaculada Medina-Bulo (Softw. Test. Verification Reliab., 2017)

Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (GECCO (Companion), 2018)

Test suite minimization for mutation testing of WS-BPEL compositions. - Francisco Palomo-Lozano; Antonia Estero-Botaro; Inmaculada Medina-Bulo; Manuel Núñez 001 (GECCO, 2018)

Search-based mutation testing to improve performance tests. - Ana Belén Sánchez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura (GECCO (Companion), 2018)

Combining Case-Based Reasoning with Complex Event Processing for Network Traffic Classification. - Manuel Grob; Martin Kappes; Inmaculada Medina-Bulo (ICCBR, 2018)

On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (NOMS, 2018)

Search-based mutant selection for efficient test suite improvement: Evaluation and results. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo (Inf. Softw. Technol., 2018)

Performance mutation testing: Hypothesis and open questions. - Ana Belén Sánchez; Pedro Delgado-Pérez; Sergio Segura; Inmaculada Medina-Bulo (Inf. Softw. Technol., 2018)

IoT-TEG: Test event generator system. - Lorena Gutiérrez-Madronal; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez (J. Syst. Softw., 2018)

Evaluation of Mutation Testing in a Nuclear Industry Case Study. - Pedro Delgado-Pérez; Ibrahim Habli; Steve Gregory; Rob Alexander; John A. Clark; Inmaculada Medina-Bulo (IEEE Trans. Reliab., 2018)

Using constraint solvers to support metamorphic testing. - M. Carmen de Castro-Cabrera; Antonio García-Domínguez; Inmaculada Medina-Bulo (MET@ICSE, 2019)

Software testing: cost reduction in Industry 4.0. - Kevin J. Valle-Gómez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo; José Magallanes Fernández (AST@ICSE, 2019)

Using Genetic Algorithms to Generate Test Suites for FSMs. - Miguel Benito-Parejo; Inmaculada Medina-Bulo; Mercedes G. Merayo; Manuel Núñez 001 (IWANN (1), 2019)

Evaluation of EPL mutation operators with the MuEPL mutation system. - Lorena Gutiérrez-Madronal; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez (Expert Syst. Appl., 2019)

An evolutionary hybrid search heuristic for monitor placement in communication networks. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (J. Heuristics, 2019)

Test Event Generation for a Fall-Detection IoT System. - Lorena Gutiérrez-Madronal; Luigi La Blunda; Matthias F. Wagner; Inmaculada Medina-Bulo (IEEE Internet Things J., 2019)

On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (J. Univers. Comput. Sci., 2019)

Evolutionary mutation testing for IoT with recorded and generated events. - Lorena Gutiérrez-Madronal; Antonio García-Domínguez; Inmaculada Medina-Bulo (Softw. Pract. Exp., 2019)

Coverage-based quality metric of mutation operators for test suite improvement. - Pedro Delgado-Pérez; Louis M. Rose; Inmaculada Medina-Bulo (Softw. Qual. J., 2019)

Mutation Operators for Google Query Language. - Lorena Gutiérrez-Madroñal; Inmaculada Medina-Bulo; Mercedes G. Merayo (ACIIDS (Companion), 2020)

Combining Evolutionary Mutation Testing with Random Selection. - Lorena Gutiérrez-Madroñal; Antonio García-Domínguez; Inmaculada Medina-Bulo (CEC, 2020)

Trends in prioritization of test cases: 2017-2019. - M. Carmen de Castro-Cabrera; Antonio García-Domínguez; Inmaculada Medina-Bulo (SAC, 2020)

Model Translation from Papyrus-RT into the nuXmv Model Checker. - Sneha Sahu; Ruth Schorr; Inmaculada Medina-Bulo; Matthias F. Wagner (SEFM, 2020)

A Wearable Fall Detection System Based on Body Area Networks. - Luigi La Blunda; Lorena Gutiérrez-Madroñal; Matthias F. Wagner; Inmaculada Medina-Bulo (IEEE Access, 2020)

TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs. - Ana Belén Sánchez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura (IEEE Access, 2020)

Customizable and scalable automated assessment of C/C++ programming assignments. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo (Comput. Appl. Eng. Educ., 2020)

A stream processing architecture for heterogeneous data sources in the Internet of Things. - David Corral-Plaza; Inmaculada Medina-Bulo; Guadalupe Ortiz 001; Juan Boubeta-Puig (Comput. Stand. Interfaces, 2020)

Guest Editorial: Special Section on ICTSS. - Inmaculada Medina-Bulo; Mercedes G. Merayo; Robert M. Hierons (Inf. Softw. Technol., 2020)

A systematic literature review of the SBSE research community in Spain. - Aurora Ramírez 001; Pedro Delgado-Pérez; Javier Ferrer; José Raúl Romero; Inmaculada Medina-Bulo; Francisco Chicano (Prog. Artif. Intell., 2020)

Interactivity in the Generation of Test Cases with Evolutionary Computation. - Aurora Ramírez 001; Pedro Delgado-Pérez; Kevin J. Valle-Gómez; Inmaculada Medina-Bulo; José Raúl Romero (CEC, 2021)

Mutation Testing and Self/Peer Assessment: Analyzing their Effect on Students in a Software Testing Course. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Miguel Ángel Álvarez-García; Kevin J. Valle-Gómez (ICSE (SEET), 2021)

Fall Detection from Electrocardiogram (ECG) Signals and Classification by Deep Transfer Learning. - Fatima Sajid Butt; Luigi La Blunda; Matthias F. Wagner; Jörg Schäfer; Inmaculada Medina-Bulo; David Gómez-Ullate (Inf., 2021)

Preserving authentication and availability security services through Multivariate Statistical Network Monitoring. - Soufiane Sail; Roberto Magán-Carrión; Inmaculada Medina-Bulo; Halima Bouden (J. Inf. Secur. Appl., 2021)

MEdit4CEP-SP: A model-driven solution to improve decision-making through user-friendly management and real-time processing of heterogeneous data streams. - David Corral-Plaza; Guadalupe Ortiz 001; Inmaculada Medina-Bulo; Juan Boubeta-Puig (Knowl. Based Syst., 2021)

Performance mutation testing. - Pedro Delgado-Pérez; Ana Belén Sánchez; Sergio Segura; Inmaculada Medina-Bulo (Softw. Test. Verification Reliab., 2021)

A microservice architecture for real-time IoT data processing: A reusable Web of things approach for smart ports. - Guadalupe Ortiz 001; Juan Boubeta-Puig; Javier Criado; David Corral-Plaza; Alfonso García de Prado; Inmaculada Medina-Bulo; Luis Iribarne (Comput. Stand. Interfaces, 2022)

Mutation testing in the wild: findings from GitHub. - Ana Belén Sánchez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura (Empir. Softw. Eng., 2022)

Mutation-inspired symbolic execution for software testing. - Kevin J. Valle-Gómez; Antonio García-Domínguez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo (IET Softw., 2022)

IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation. - Antonio Velez-Estevez; Lorena Gutiérrez-Madroñal; Inmaculada Medina-Bulo (IEEE Trans. Reliab., 2022)

Complementary material for the book "Optimising the Software Development Process with Artificial Intelligence". - José Raúl Romero; Inmaculada Medina-Bulo; Francisco Chicano; Liyan Song; Leandro L. Minku; Fitsum Meshesha Kifetew; Anna Perini; Angelo Susi; Antonio Garmendia; Dominik Bork; Martin Eisenberg; Thiago do Nascimento Ferreira; et al. (Zenodo, 2022)

Algorithm for Application of a Basic Model for the Data Envelopment Analysis Method in Technical Systems. - Mariia Pokushko; Aljona A. Stupina; Inmaculada Medina-Bulo; Svetlana Ezhemanskaya; Roman Kuzmich; Roman Pokushko (Algorithms, 2023)

Computing performance requirements for web service compositions. - Antonio García-Domínguez; Francisco Palomo-Lozano; Inmaculada Medina-Bulo; Alfredo Ibias; Manuel Núñez 001 (Comput. Stand. Interfaces, 2023)

Introduction. - José Raúl Romero; Inmaculada Medina-Bulo; Francisco Chicano (Optimising the Software Development Process with Artificial Intelligence, 2023)

InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment. - Pedro Delgado-Pérez; Aurora Ramírez 001; Kevin J. Valle-Gómez; Inmaculada Medina-Bulo; José Raúl Romero (IEEE Trans. Software Eng., 2023)

Leveraging Topic Modeling and Extractive Summarization for Unlocking Insights from NeurIPS Papers. - Sheikh Sharfuddin Mim; Doina Logofatu; Gabriel Guerrero-Contreras; Inmaculada Medina-Bulo (INISTA, 2024)

AALFlow: A Model-Driven Approach for the Integration of Internet of Things Heterogeneous Solutions for Ambient Assisted Living. - Pablo Caballero-Torres; Manuel Cano-Crespo; Guadalupe Ortiz 001; Inmaculada Medina-Bulo (IEEE Internet Things J., 2024)

Systematic literature review of ambient assisted living systems supported by the Internet of Things. - Pablo Caballero; Guadalupe Ortiz 001; Inmaculada Medina-Bulo (Univers. Access Inf. Soc., 2024)

An Analysis of Class Imbalance Challenges in Predictive Mutation Testing. - Sara Balderas-Díaz; Gabriel Guerrero-Contreras; Pedro Delgado-Pérez; Inmaculada Medina-Bulo (ACIIDS (2), 2025)

Explainable Artificial Intelligence to Improve Interpretability in Predictive Mutation Testing. - Gabriel Guerrero-Contreras; Sara Balderas-Díaz; Pedro Delgado-Pérez; Inmaculada Medina-Bulo (ACIIDS (2), 2025)

Cost-effective ADAS for inter-vehicle distance estimation using computer vision and deep learning. - Gabriel Guerrero-Contreras; Sara Balderas-Díaz; Alejandro Díaz-Gomez; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez (IE, 2025)

A Comprehensive Review on Equivalent Mutant Detection Using Machine Learning. - Gabriel Guerrero-Contreras; Sara Balderas-Díaz; Pedro Delgado-Pérez; Inmaculada Medina-Bulo (RCIS (1), 2025)