ORCID

Información ORCID de MEDINA BULO, MARIA INMACULADA

Biografía

Inmaculada Medina-Bulo received her PhD in Computer Science at the University of Seville (Spain). She has been a Professor in the Department of Computer Science and Engineering of the University of Cádiz (Spain) since 1995. She has been a member of the Council of the School of Engineering (ESI) as well as a Socrates/Erasmus Program Coordinator for several years. From July 2010 to July 2011 she was appointed Degree Coordinator for the Computer Science Studies and a member of the Board of the ESI. Since September 2013 she hold the post of Chief Information Officer of the University. Her research was supported by research stays at the USA, the UK and Germany. She has served in program and organizing committees at different conferences. She has published numerous papers in international journals and conferences. She is the main researcher of the UCASE Software Engineering Research Group.

Educación

PhD in Computer Science

University of Seville: Seville, ", , España

Empleo

Professor

University of Cádiz: Cádiz, ", , España

Obras

Systematic literature review of ambient assisted living systems supported by the Internet of Things

2024 | JOURNAL_ARTICLE

Política de Cookies

Personalización de Cookies

Información ORCID de MEDINA BULO, MARIA INMACULADA

Biografía

Educación

PhD in Computer Science

Empleo

Professor

Obras

Systematic literature review of ambient assisted living systems supported by the Internet of Things

AALFlow: A Model-Driven Approach for the Integration of Internet of Things Heterogeneous Solutions for Ambient Assisted Living

CMBMeTest: Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing

Algorithm for Application of a Basic Model for the Data Envelopment Analysis Method in Technical Systems

InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment

Application of the Data Envelopment Analysis Method for Evaluating Operation of Technical Systems

Slack Based Model for Enterprises’ Efficiency Improvement

Computing performance requirements for web service compositions

Mutation‐inspired symbolic execution for software testing

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

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

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

Model Translation from Papyrus-RT into the nuXmv Model Checker

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

A Wearable Fall Detection System Based on Body Area Networks

Mutation Operators for Google Query Language

Test Event Generation for a Fall-Detection IoT System

Using Genetic Algorithms to Generate Test Suites for FSMs

Evaluation of Mutation Testing in a Nuclear Industry Case Study

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

Assessment of C plus plus object-oriented mutation operators: A selective mutation approach

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

Assessment of class mutation operators for C++ with the MuCPP mutation system (vol 81, pg 169, 2017)

E-CUIDASALUD: ADMINISTRATIVE AND TEACHING MANAGEMENT WEB APPLICATION FOR NURSING PRACTICUM SUBJECTS

Leveraging Diversity in Evolutionary Algorithms using a Population Injection Method

Local Parallelization of Pleasingly Parallel Stream Processing on Multiple CPU Cores

Local Programming Language Barriers in Stream-based Systems

Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection

Two Case Studies on Generating Administrative Process Applications with AdminDSL

Class mutation operators for C plus plus object-oriented systems

Improving Network Traffic Acquisition and Processing with the Java Virtual Machine

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

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

Monitoring Traffic in Computer Networks with Dynamic Distributed Remote Packet Capturing

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

A framework for genetic test-case generation for WS-BPEL compositions

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

Assessment of collaborative learning experiences by graphical analysis of wiki contributions

Automatic dynamic generation of likely invariants for WS-BPEL compositions

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

Exact scalable sensitivity analysis for the next release problem

Header field based partitioning of network traffic for distributed packet capturing and processing

PTTAC: Passive testing tool for asynchronous systems

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

Towards an integrated SOA-based architecture for interoperable and responsive manufacturing systems using the ISA-95 object model

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

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

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

Application of Metamorphic Testing to a case study in web services compositions

Complex event processing applied to early maritime threat detection

Computer-supported assessment of wikis in higher education: Two case studies

Hierarchical events for efficient distributed network analysis and surveillance

Metasearch services composition in WS-BPEL: An application of Metamorphic Testing

Mutation testing of event processing queries

AN APPROACH TO METAMORPHIC TESTING FOR WS-BPEL COMPOSITIONS

An approach to Metamorphic Testing for WS-BPEL compositions

Analogies and differences between mutation operators for WS-BPEL 2.0 and other languages

EUnit: A unit testing framework for model management tasks

Evolutionary mutation testing

Learning-oriented assessment of Wiki contributions: How to assess Wiki contributions in a higher education learning setting

Model-driven design of performance requirements

Model-driven design of performance requirements withuml and marte

TOWARDS HIGHER-ORDER MUTANT GENERATION FOR WS-BPEL

Towards higher-order mutant generation for WS-BPEL

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

GAmera: A tool for WS-BPEL composition testing using mutation analysis

Inference of performance annotations in web service composition models

Quantitative evaluation of mutation operators for WS-BPEL compositions

Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation

Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information

GAmera: An automatic mutant generation system for WS-BPEL compositions