Inmaculada Medina-Bulo

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