Inmaculada Medina-Bulo

发表

Combining Case-Based Reasoning with Complex Event Processing for Network Traffic Classification

Martin Kappes, Manuel Grob, Inmaculada Medina-Bulo, 2018, ICCBR.

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184]

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Francisco Palomo-Lozano, 2017, Inf. Softw. Technol..

Performance Test Case Generation for Java and WSDL-based Web Services from MARTE

Inmaculada Medina-Bulo, Antonio García-Domínguez, Mariano Marcos-Bárcena, 2012 .

Quality metrics for mutation testing with applications to WS‐BPEL compositions

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, 2015, Softw. Test. Verification Reliab..

Search-based mutation testing to improve performance tests

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Ana B. Sánchez, 2018, GECCO.

Using Constraint Solvers to Support Metamorphic Testing

Inmaculada Medina-Bulo, Antonio García-Domínguez, M. Carmen de Castro-Cabrera, 2019, 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET).

IoT-TEG: Test event generator system

Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Lorena Gutiérrez-Madronal, 2018, J. Syst. Softw..

Monitoring traffic in computer networks with dynamic distributed remote packet capturing

Martin Kappes, Inmaculada Medina-Bulo, Ruediger Gad, 2015, 2015 IEEE International Conference on Communications (ICC).

Inference of performance annotations in web service composition models

Inmaculada Medina-Bulo, Antonio García-Domínguez, Mariano Marcos-Bárcena, 2010 .

Software Testing: Cost Reduction in Industry 4.0

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Kevin J. Valle-Gómez, 2019, 2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST).

Application of Metamorphic Testing to a Case Study in Web Services Compositions

Inmaculada Medina-Bulo, Carmen Castro-Cabrera, I. Medina-Bulo, 2011, ICETE.

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation

Manuel Palomo-Duarte, Inmaculada Medina-Bulo, Antonio García-Domínguez, 2010, ICWE.

PTTAC: Passive Testing Tool for Asynchronous Systems

Mercedes G. Merayo, Inmaculada Medina-Bulo, Maria Azahara Camacho-Magrinan, 2014, 2014 Tenth International Conference on Signal-Image Technology and Internet-Based Systems.

Improving network traffic acquisition and processing with the Java Virtual Machine

Martin Kappes, Inmaculada Medina-Bulo, Ruediger Gad, 2015, 2015 IEEE Symposium on Computers and Communication (ISCC).

Complex event processing applied to early maritime threat detection

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2012, WAS4FI-Mashups '12.

Test suite minimization for mutation testing of WS-BPEL compositions

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonia Estero-Botaro, 2018, GECCO.

Mutation Operators for Google Query Language

Mercedes G. Merayo, Inmaculada Medina-Bulo, Lorena Gutiérrez-Madroñal, 2020, ACIIDS.

Customizable and scalable automated assessment of C/C++ programming assignments

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, I. Medina-Bulo, 2020, Comput. Appl. Eng. Educ..

A Framework for Mutant Genetic Generation for WS-BPEL

Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonia Estero-Botaro, 2009, SOFSEM.

A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes

Anouar Abtoy, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2017, Algorithms.

Preventing Health Risks Caused by Unhealthy Air Quality Using a CEP-Based SOA 2.0

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2017 .

Bridging the Gap between Low-Level Network Traffic Data Acquisition and Higher-Level Frameworks

Martin Kappes, Inmaculada Medina-Bulo, Ruediger Gad, 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

Towards Event-Driven Context-Aware Web Services

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Alfonso García de Prado, 2013 .

A Model-Driven Approach for Web Service Adaptation Using Complex Event Processing

Yehia Taher, Willem-Jan van den Heuvel, Inmaculada Medina-Bulo, 2013, ESOCC Workshops.

Analysis of the Development Process of a Mutation Testing Tool for the C++ Language

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Juan José Domínguez-Jiménez, 2014 .

Generating Fuzzy Attribute Rules Via Fuzzy Formal Concept Analysis

Jesús Medina, Inmaculada Medina-Bulo, Valentín Liñeiro-Barea, 2018 .

Towards an Integrated SOA-based Architecture for Interoperable and Responsive Manufacturing Systems☆

Inmaculada Medina-Bulo, Antonio García-Domínguez, Mariano Marcos-Bárcena, 2013 .

Using Evolutionary Computation to Improve Mutation Testing

Mercedes G. Merayo, Inmaculada Medina-Bulo, Pedro Delgado-Pérez, 2017, IWANN.

Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonia Estero-Botaro, 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

A model-driven approach for facilitating user-friendly design of complex event patterns

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2014, Expert Syst. Appl..

Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection

Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2016, GECCO.

An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE

Inmaculada Medina-Bulo, Antonio García-Domínguez, Mariano Marcos-Bárcena, 2011, ICSOFT.

Test Event Generation for a Fall-Detection IoT System

Inmaculada Medina-Bulo, Lorena Gutiérrez-Madroñal, Luigi La Blunda, 2019, IEEE Internet of Things Journal.

Towards an Integrated SOA-Based Architecture for Interoperable and Responsive Manufacturing Systems Using the ISA-95 Object Model

Inmaculada Medina-Bulo, Antonio García-Domínguez, Mariano Marcos-Bárcena, 2014 .

Class mutation operators for C++ object-oriented systems

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Francisco Palomo-Lozano, 2015, Ann. des Télécommunications.

An Approach of Early Disease Detection using CEP and SOA

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2011 .

Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Antonio García-Domínguez, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Hierarchical events for efficient distributed network analysis and surveillance

Martin Kappes, Inmaculada Medina-Bulo, Juan Boubeta-Puig, 2012, WAS4FI-Mashups '12.

A stream processing architecture for heterogeneous data sources in the Internet of Things

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2020, Comput. Stand. Interfaces.

Approaching the Internet of Things through Integrating SOA and Complex Event Processing

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2014 .

Using Genetic Algorithms for Deadline-Constrained Monitor Selection in Dynamic Computer Networks

Martin Kappes, Inmaculada Medina-Bulo, Ruediger Gad, 2015, GECCO.

Mutation Testing Applied to Object-Oriented Languages

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Juan José Domínguez-Jiménez, 2018 .

MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2015, Knowl. Based Syst..

Evaluation of Mutation Testing in a Nuclear Industry Case Study

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Ibrahim Habli, 2018, IEEE Transactions on Reliability.

EUnit: a unit testing framework for model management tasks

Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, 2011, MODELS'11.

On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures

Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2019, J. Univers. Comput. Sci..

Guest Editorial: Special Section on ICTSS

Robert M. Hierons, Mercedes G. Merayo, Inmaculada Medina-Bulo, 2020, Inf. Softw. Technol..

Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures

Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2018, GECCO.

A Certified Polynomial-Based Decision Procedure for Propositional Logic

José A. Alonso-Jiménez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2001, TPHOLs.

Exact scalable sensitivity analysis for the next release problem

Mark Harman, Shin Yoo, Jens Krinke, 2014, ACM Trans. Softw. Eng. Methodol..

Local parallelization of pleasingly parallel stream processing on multiple CPU cores

Martin Kappes, Inmaculada Medina-Bulo, Ruediger Gad, 2016, 2016 IEEE 7th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON).

Evolutionary mutation testing

Inmaculada Medina-Bulo, Antonio García-Domínguez, Juan José Domínguez-Jiménez, 2011, Inf. Softw. Technol..

Automatic dynamic generation of likely invariants for WS-BPEL compositions

Manuel Palomo-Duarte, Inmaculada Medina-Bulo, Antonio García-Domínguez, 2014, Expert Syst. Appl..

Multijob: a framework for efficient distribution of evolutionary algorithms for parameter tuning

Martin Kappes, Inmaculada Medina-Bulo, Robin Mueller-Bady, 2017, GECCO.

GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL

Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonia Estero-Botaro, 2009, JISBD.

Performance mutation testing

Sergio Segura, Inmaculada Medina-Bulo, Pedro Delgado-Pérez, 2020, Softw. Test. Verification Reliab..

Evaluation of EPL mutation operators with the MuEPL mutation system

Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Lorena Gutiérrez-Madronal, 2019, Expert Syst. Appl..

Search-based mutant selection for efficient test suite improvement: Evaluation and results

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, 2018, Inf. Softw. Technol..

An Approach for Performance Test Artifact Generation for Multiple Technologies from MARTE-Annotated Workflows

Inmaculada Medina-Bulo, Antonio García-Domínguez, Mariano Marcos-Bárcena, 2012, ICIW 2012.

Verified Computer Algebra in Acl2. Gröbner Bases Computation

José A. Alonso-Jiménez, José-Luis Ruiz-Reina, Inmaculada Medina-Bulo, 2004, AISC.

Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions

Manuel Palomo-Duarte, Inmaculada Medina-Bulo, Antonio García-Domínguez, 2008, 2008 Sixth European Conference on Web Services.

Assessment of C++ object‐oriented mutation operators: A selective mutation approach

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Sergio Segura, 2017, Softw. Test. Verification Reliab..

Domain-Specific Language for Generating Administrative Process Applications

Inmaculada Medina-Bulo, Antonio García-Domínguez, Ismael Jerez-Ibáñez, 2015, BMSD 2015.

Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL

Manuel Palomo-Duarte, Inmaculada Medina-Bulo, Antonio García-Domínguez, 2009, JISBD.

Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition

Manuel Palomo-Duarte, Inmaculada Medina-Bulo, Antonio García-Domínguez, 2008, 2008 IEEE International Symposium on Service-Oriented System Engineering.

Two Case Studies on Generating Administrative Process Applications with AdminDSL

Inmaculada Medina-Bulo, Antonio García-Domínguez, Ismael Jerez-Ibáñez, 2015, BMSD.

A verified Common Lisp implementation of Buchberger's algorithm in ACL2

José-Luis Ruiz-Reina, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2010, J. Symb. Comput..

Header Field Based Partitioning of Network Traffic for Distributed Packet Capturing and Processing

Martin Kappes, Inmaculada Medina-Bulo, Ruediger Gad, 2014, 2014 IEEE 28th International Conference on Advanced Information Networking and Applications.

A SENSOR FUSION SYSTEM IDENTIFYING COMPLEX EVENTS FOR LOCALISATION ESTIMATION

Inmaculada Medina-Bulo, Matthias Wagner, Erik Hübner, 2019 .

Mutation Testing of Event Processing Queries

Mohammad Zulkernine, Hossain Shahriar, Inmaculada Medina-Bulo, 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.

DISTRIBUTED REAL-TIME BASED HUMAN ACTIVITY ANALYSIS SYSTEM

Inmaculada Medina-Bulo, Guadalupe Ortiz, Matthias Wagner, 2019 .

An approach to metamorphic testing for WS-BPEL compositions

Inmaculada Medina-Bulo, Carmen Castro-Cabrera, 2011, Proceedings of the International Conference on e-Business.

Learning-oriented Assessment of Wiki Contributions - How to Assess Wiki Contributions in a Higher Education Learning Setting

Juan Manuel Dodero, Manuel Palomo-Duarte, Inmaculada Medina-Bulo, 2011, CSEDU.

Model-driven Design of Performance Requirements with UML and MARTE

Inmaculada Medina-Bulo, Antonio García-Domínguez, Mariano Marcos-Bárcena, 2011, ICSOFT.

Evolutionary mutation testing for IoT with recorded and generated events

Inmaculada Medina-Bulo, Antonio García-Domínguez, Lorena Gutiérrez-Madronal, 2018, Softw. Pract. Exp..

GiGAn: evolutionary mutation testing for C++ object-oriented systems

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Antonio García-Domínguez, 2017, SAC.

Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

A Wearable Fall Detection System Based on Body Area Networks

Inmaculada Medina-Bulo, Lorena Gutiérrez-Madroñal, Matthias F. Wagner, 2020, IEEE Access.

Towards higher-order mutant generation for WS-BPEL

Inmaculada Medina-Bulo, Antonio García-Domínguez, Juan José Domínguez-Jiménez, 2011, Proceedings of the International Conference on e-Business.

Hypertext navigation of ACL2 proofs with XMLEye

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, 2009, ACL2 '09.

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, 2014, ICTSS.

GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions

Inmaculada Medina-Bulo, Antonio García-Domínguez, Juan José Domínguez-Jiménez, 2009, 2009 Seventh IEEE European Conference on Web Services.

ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2015, Expert Syst. Appl..

Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing

Inmaculada Medina-Bulo, Carmen Castro-Cabrera, Maria Azahara Camacho-Magrinan, 2012, ICSOFT.

Scalability of assessments of wiki-based learning experiences in higher education

Juan Manuel Dodero, Manuel Palomo-Duarte, Antonio Balderas, 2014, Comput. Hum. Behav..

Assessment of collaborative learning experiences by graphical analysis of wiki contributions

Juan Manuel Dodero, Ivan Ruiz-Rube, Manuel Palomo-Duarte, 2014, Interact. Learn. Environ..

Combining Evolutionary Mutation Testing with Random Selection

Inmaculada Medina-Bulo, Antonio García-Domínguez, Lorena Gutiérrez-Madroñal, 2020, 2020 IEEE Congress on Evolutionary Computation (CEC).

Assessment of class mutation operators for C++ with the MuCPP mutation system

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Francisco Palomo-Lozano, 2017, Inf. Softw. Technol..

On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks

Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2018, NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium.

An evolutionary hybrid search heuristic for monitor placement in communication networks

Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2019, J. Heuristics.

Local programming language barriers in stream-based systems

Martin Kappes, Inmaculada Medina-Bulo, Ruediger Gad, 2016, 2016 IEEE Symposium on Computers and Communication (ISCC).

An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions

Manuel Palomo-Duarte, Inmaculada Medina-Bulo, Antonio García-Domínguez, 2008, ICE-B.

Using Genetic Algorithms to Generate Test Suites for FSMs

Mercedes G. Merayo, Inmaculada Medina-Bulo, Manuel Núñez, 2019, IWANN.

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis

Inmaculada Medina-Bulo, Antonio García-Domínguez, Juan José Domínguez-Jiménez, 2010, ICWE.

Coverage-based quality metric of mutation operators for test suite improvement

Louis M. Rose, Inmaculada Medina-Bulo, Pedro Delgado-Pérez, 2018, Software Quality Journal.

Mutation Testing: Guideline and Mutation Operator Classification

Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Lorena Gutierrez-Madronal, 2014 .

Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information

Manuel Palomo-Duarte, Inmaculada Medina-Bulo, Antonio García-Domínguez, 2009, ICWE.

Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm

Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, 2017, GECCO.

Using Evolutionary Mutation Testing to improve the quality of test suites

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Manuel Núñez, 2017, 2017 IEEE Congress on Evolutionary Computation (CEC).

Performance mutation testing: Hypothesis and open questions

Sergio Segura, Inmaculada Medina-Bulo, Pedro Delgado-Pérez, 2018, Inf. Softw. Technol..

Model-Driven Design of Performance Requirements

Inmaculada Medina-Bulo, Antonio García-Domínguez, Mariano Marcos-Bárcena, 2011, 2011 11th International Conference on Quality Software.

Interactivity in the Generation of Test Cases with Evolutionary Computation

Aurora Ramírez, José Raúl Romero, Inmaculada Medina-Bulo, 2021, 2021 IEEE Congress on Evolutionary Computation (CEC).

IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation

Inmaculada Medina-Bulo, Antonio Velez-Estevez, Lorena Gutierrez-Madronal, 2021, IEEE Transactions on Reliability.

Fall Detection from Electrocardiogram (ECG) Signals and Classification by Deep Transfer Learning

Inmaculada Medina-Bulo, David Gómez-Ullate, Jörg Schäfer, 2021, Inf..

Application of Genetic Algorithms to the Test Suite Cases Minimization

Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, María Martín-Marín, 2021 .

Preserving authentication and availability security services through Multivariate Statistical Network Monitoring

Inmaculada Medina-Bulo, Roberto Magán-Carrión, Halima Bouden, 2021, J. Inf. Secur. Appl..

MEdit4CEP-SP: A model-driven solution to improve decision-making through user-friendly management and real-time processing of heterogeneous data streams

Inmaculada Medina-Bulo, Juan Boubeta-Puig, Guadalupe Ortiz, 2021, Knowl. Based Syst..

Mutation Testing and Self/Peer Assessment: Analyzing their Effect on Students in a Software Testing Course

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Kevin J. Valle-Gómez, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET).