| 2025 | ACIIDS | An Analysis of Class Imbalance Challenges in Predictive Mutation Testing. | Sara Balderas-Daz, Gabriel Guerrero-Contreras, Pedro Delgado-Prez, Inmaculada Medina-Bulo |
| 2025 | ACIIDS | Explainable Artificial Intelligence to Improve Interpretability in Predictive Mutation Testing. | Gabriel Guerrero-Contreras, Sara Balderas-Daz, Pedro Delgado-Prez, Inmaculada Medina-Bulo |
| 2025 | RCIS | A Comprehensive Review on Equivalent Mutant Detection Using Machine Learning. | Gabriel Guerrero-Contreras, Sara Balderas-Daz, Pedro Delgado-Prez, Inmaculada Medina-Bulo |
| 2024 | INISTA | Leveraging Topic Modeling and Extractive Summarization for Unlocking Insights from NeurIPS Papers. | Sheikh Sharfuddin Mim, Doina Logofatu, Gabriel Guerrero-Contreras, Inmaculada Medina-Bulo |
| 2021 | CEC | Interactivity in the Generation of Test Cases with Evolutionary Computation. | Aurora Ramrez, Pedro Delgado-Prez, Kevin J. Valle-Gmez, Inmaculada Medina-Bulo, Jos Ral Romero |
| 2021 | ICSE | Mutation Testing and Self/Peer Assessment: Analyzing their Effect on Students in a Software Testing Course. | Pedro Delgado-Prez, Inmaculada Medina-Bulo, Miguel ngel lvarez-Garca, Kevin J. Valle-Gmez |
| 2020 | ACIIDS | Mutation Operators for Google Query Language. | Lorena Gutirrez-Madroal, Inmaculada Medina-Bulo, Mercedes G. Merayo |
| 2020 | CEC | Combining Evolutionary Mutation Testing with Random Selection. | Lorena Gutirrez-Madroal, Antonio Garca-Domnguez, Inmaculada Medina-Bulo |
| 2020 | SAC | Trends in prioritization of test cases: 2017-2019. | M. Carmen de Castro-Cabrera, Antonio Garca-Domnguez, Inmaculada Medina-Bulo |
| 2020 | SEFM | Model Translation from Papyrus-RT into the nuXmv Model Checker. | Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner |
| 2019 | ICSE | Using constraint solvers to support metamorphic testing. | M. Carmen de Castro-Cabrera, Antonio Garca-Domnguez, Inmaculada Medina-Bulo |
| 2019 | ICSE | Software testing: cost reduction in Industry 4.0. | Kevin J. Valle-Gmez, Pedro Delgado-Prez, Inmaculada Medina-Bulo, Jos Magallanes Fernndez |
| 2019 | IWANN | Using Genetic Algorithms to Generate Test Suites for FSMs. | Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Nez |
| 2018 | GECCO | Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures. | Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano |
| 2018 | GECCO | Test suite minimization for mutation testing of WS-BPEL compositions. | Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Nez |
| 2018 | GECCO | Search-based mutation testing to improve performance tests. | Ana Beln Snchez, Pedro Delgado-Prez, Inmaculada Medina-Bulo, Sergio Segura |
| 2018 | ICCBR | Combining Case-Based Reasoning with Complex Event Processing for Network Traffic Classification. | Manuel Grob, Martin Kappes, Inmaculada Medina-Bulo |
| 2018 | NOMS | 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 |
| 2017 | CEC | Using Evolutionary Mutation Testing to improve the quality of test suites. | Pedro Delgado-Prez, Inmaculada Medina-Bulo, Manuel Nez |
| 2017 | GECCO | Multijob: a framework for efficient distribution of evolutionary algorithms for parameter tuning. | Robin Mueller-Bady, Martin Kappes, Lukas Atkinson, Inmaculada Medina-Bulo |
| 2017 | GECCO | Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm. | Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano |
| 2017 | IWANN | Using Evolutionary Computation to Improve Mutation Testing. | Pedro Delgado-Prez, Inmaculada Medina-Bulo, Mercedes G. Merayo |
| 2017 | SAC | GiGAn: evolutionary mutation testing for C++ object-oriented systems. | Pedro Delgado-Prez, Inmaculada Medina-Bulo, Sergio Segura, Antonio Garca-Domnguez, Juan Jos Domnguez-Jimnez |
| 2016 | GECCO | Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. | Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano |
| 2016 | ISCC | Local programming language barriers in stream-based systems. | Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo |
| 2015 | GECCO | Using Genetic Algorithms for Deadline-Constrained Monitor Selection in Dynamic Computer Networks. | Robin Mueller-Bady, Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo |
| 2015 | ISCC | Improving network traffic acquisition and processing with the Java Virtual Machine. | Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo |
| 2014 | AINA | Header Field Based Partitioning of Network Traffic for Distributed Packet Capturing and Processing. | Ruediger Gad, Martin Kappes, Robin Mueller-Bady, Inmaculada Medina-Bulo |
| 2014 | COMPSAC | Bridging the Gap between Low-Level Network Traffic Data Acquisition and Higher-Level Frameworks. | Ruediger Gad, Martin Kappes, Inmaculada Medina-Bulo |
| 2012 | ICSoft | Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing. | Carmen Castro-Cabrera, Inmaculada Medina-Bulo, Azahara Camacho |
| 2012 | ISSRE | Mutation Testing of Event Processing Queries. | Lorena Gutirrez-Madronal, Hossain Shahriar, Mohammad Zulkernine, Juan Jos Domnguez-Jimnez, Inmaculada Medina-Bulo |
| 2011 | CSEDU | Learning-oriented Assessment of Wiki Contributions - How to Assess Wiki Contributions in a Higher Education Learning Setting. | Emilio J. Rodrguez-Posada, Juan Manuel Dodero, Manuel Palomo-Duarte, Inmaculada Medina-Bulo |
| 2011 | ICSoft | Model-driven Design of Performance Requirements with UML and MARTE. | Antonio Garca-Domnguez, Inmaculada Medina-Bulo, Mariano Marcos-Brcena |
| 2011 | ICSoft | An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE. | Antonio Garca-Domnguez, Inmaculada Medina-Bulo, Mariano Marcos-Brcena |
| 2011 | ICST | Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages. | Juan Boubeta-Puig, Inmaculada Medina-Bulo, Antonio Garca-Domnguez |
| 2011 | MODELS | EUnit: A Unit Testing Framework for Model Management Tasks. | Antonio Garca-Domnguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo |
| 2010 | ICST | Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. | Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo |
| 2010 | ICWE | GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. | Juan Jos Domnguez-Jimnez, Antonia Estero-Botaro, Antonio Garca-Domnguez, Inmaculada Medina-Bulo |
| 2010 | ICWE | Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. | Manuel Palomo-Duarte, Antonio Garca-Domnguez, Inmaculada Medina-Bulo, Alejandro lvarez-Aylln, Javier Santacruz |
| 2009 | ICWE | Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. | Manuel Palomo-Duarte, Antonio Garca-Domnguez, Inmaculada Medina-Bulo |
| 2009 | SOFSEM | A Framework for Mutant Genetic Generation for WS-BPEL. | Juan Jos Domnguez-Jimnez, Antonia Estero-Botaro, Inmaculada Medina-Bulo |
| 2004 | AISC | Verified Computer Algebra in Acl2. Grbner Bases Computation. | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jos A. Alonso-Jimnez, Jos-Luis Ruiz-Reina |