Política de Cookies

El sitio web de la Universidad de Cádiz utiliza cookies propias y de terceros para realizar análisis de uso y medición del tráfico, así como permitir el correcto funcionamiento en redes sociales, y de este modo poder mejorar su experiencia de navegación.

Si desea configurar las cookies, pulse el botón Personalizar Cookies. También puede acceder a la configuración de cookies en cualquier momento desde el enlace correspondiente en el pie de página.

Para obtener más información sobre las cookies puede consultar la Política de cookies del sitio web de la Universidad de Cádiz.

Personalización de Cookies

El sitio web de la Universidad de Cádiz utiliza cookies propias y de terceros para realizar análisis de uso y medición del tráfico, así como permitir el correcto funcionamiento en redes sociales, y de este modo poder mejorar su experiencia de navegación.

Para obtener más información sobre las cookies puede consultar la Política de cookies del sitio web de la Universidad de Cádiz. También puede acceder a la configuración de cookies en cualquier momento desde el enlace correspondiente en el pie de página.

A continuación podrá configurar las cookies del sitio web según su finalidad:

  • Análisis estadístico

    En este sitio se utilizan cookies de terceros (Google Analytics) que permiten cuantificar el número de usuarios de forma anónima (nunca se obtendrán datos personales que permitan identificar al usuario) y así poder analizar la utilización que hacen los usuarios del nuestro servicio, a fin de mejorar la experiencia de navegación y ofrecer nuestros contenidos de manera óptima.

  • Redes sociales

    En este sitio web se utilizan cookies de terceros que permiten el correcto funcionamiento de algunas redes sociales (principalmente Youtube y Twitter) sin utilizar ningún dato personal del usuario.

UniversidaddeCádiz
TIC025 Grupo Ucase de Ingeniería del Software


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


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

2023 | JOURNAL_ARTICLE

DOI: 10.3390/electronics13010018

Mostrar Detalles




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

2023 | JOURNAL_ARTICLE

DOI: 10.3390/a16100460

Mostrar Detalles




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

2023 | JOURNAL_ARTICLE

DOI: 10.1007/s10209-023-01022-w

Mostrar Detalles




InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment

2023 | JOURNAL_ARTICLE

DOI: 10.1109/TSE.2022.3227418

Mostrar Detalles




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

2023 | CONFERENCE_PAPER

DOI: 10.15405/epct.23021.6

Mostrar Detalles




Slack Based Model for Enterprises’ Efficiency Improvement

2023 | CONFERENCE_PAPER

DOI: 10.15405/epct.23021.43

Mostrar Detalles




Computing performance requirements for web service compositions

2023 | JOURNAL_ARTICLE

DOI: 10.1016/j.csi.2022.103664

Mostrar Detalles




Mutation‐inspired symbolic execution for software testing

2022 | JOURNAL_ARTICLE

DOI: 10.1049/sfw2.12063

Mostrar Detalles




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

2022 | JOURNAL_ARTICLE

DOI: 10.1109/TR.2021.3087781

Mostrar Detalles




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

2021 | JOURNAL_ARTICLE

DOI: 10.3390/info12020063

Mostrar Detalles




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

2021 | JOURNAL_ARTICLE

DOI: 10.1016/j.knosys.2020.106682

Mostrar Detalles




Model Translation from Papyrus-RT into the nuXmv Model Checker

2021 | BOOK_CHAPTER

DOI: 10.1007/978-3-030-67220-1_1

Mostrar Detalles




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

2020 | JOURNAL_ARTICLE

DOI: 10.1002/cae.22317

Mostrar Detalles




A Wearable Fall Detection System Based on Body Area Networks

2020 | JOURNAL_ARTICLE

DOI: 10.1109/ACCESS.2020.3032497

Mostrar Detalles




Mutation Operators for Google Query Language

2020 | BOOK_CHAPTER

DOI: 10.1007/978-981-15-3380-8_31

Mostrar Detalles




Test Event Generation for a Fall-Detection IoT System

2019 | JOURNAL_ARTICLE

DOI: 10.1109/JIOT.2019.2909434

Mostrar Detalles




Using Genetic Algorithms to Generate Test Suites for FSMs

2019 | BOOK_CHAPTER

DOI: 10.1007/978-3-030-20521-8_61

Mostrar Detalles




Evaluation of Mutation Testing in a Nuclear Industry Case Study

2018 | JOURNAL_ARTICLE

DOI: 10.1109/TR.2018.2864678

Mostrar Detalles




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

2017 | JOURNAL_ARTICLE

DOI: 10.3390/a10030080

Mostrar Detalles




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

2017 | JOURNAL_ARTICLE

DOI: 10.1002/stvr.1630

Mostrar Detalles




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

2017 | JOURNAL_ARTICLE

DOI: 10.1016/j.infsof.2016.07.002

Mostrar Detalles




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

2017 | JOURNAL_ARTICLE

DOI: 10.1016/j.infsof.2017.02.001

Mostrar Detalles




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

2016 | BOOK_CHAPTER

Mostrar Detalles




Leveraging Diversity in Evolutionary Algorithms using a Population Injection Method

2016 | BOOK_CHAPTER

Mostrar Detalles




Local Parallelization of Pleasingly Parallel Stream Processing on Multiple CPU Cores

2016 | JOURNAL_ARTICLE

Mostrar Detalles




Local Programming Language Barriers in Stream-based Systems

2016 | JOURNAL_ARTICLE

Mostrar Detalles




Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection

2016 | JOURNAL_ARTICLE

DOI: 10.1145/2908961.2909052

Mostrar Detalles




Two Case Studies on Generating Administrative Process Applications with AdminDSL

2016 | BOOK_CHAPTER

DOI: 10.1007/978-3-319-40512-4_6

Mostrar Detalles




Class mutation operators for C plus plus object-oriented systems

2014 | JOURNAL_ARTICLE

DOI: 10.1007/s12243-014-0445-4

EID: 2-s2.0-84906647266

Mostrar Detalles




Improving Network Traffic Acquisition and Processing with the Java Virtual Machine

2015 | JOURNAL_ARTICLE

Mostrar Detalles




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

2015 | JOURNAL_ARTICLE

DOI: 10.1016/j.knosys.2015.06.021

Mostrar Detalles




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

2015 | JOURNAL_ARTICLE

DOI: 10.1016/j.eswa.2015.06.045

Mostrar Detalles




Monitoring Traffic in Computer Networks with Dynamic Distributed Remote Packet Capturing

2015 | BOOK_CHAPTER

Mostrar Detalles




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

2015 | JOURNAL_ARTICLE

DOI: 10.1002/stvr.1528

Mostrar Detalles




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

2014 | BOOK

EID: 2-s2.0-84921643882

Mostrar Detalles




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

2014 | JOURNAL_ARTICLE

DOI: 10.1016/j.eswa.2013.07.070

EID: 2-s2.0-84885959589

Mostrar Detalles




Assessment of collaborative learning experiences by graphical analysis of wiki contributions

2014 | JOURNAL_ARTICLE

DOI: 10.1080/10494820.2012.680969

EID: 2-s2.0-84904190357

Mostrar Detalles




Automatic dynamic generation of likely invariants for WS-BPEL compositions

2014 | JOURNAL_ARTICLE

DOI: 10.1016/j.eswa.2014.01.037

EID: 2-s2.0-84898007973

Mostrar Detalles




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

2014 | JOURNAL_ARTICLE

DOI: 10.1109/COMPSACW.2014.15

EID: 2-s2.0-84931052109

Mostrar Detalles




Exact scalable sensitivity analysis for the next release problem

2014 | JOURNAL_ARTICLE

DOI: 10.1145/2537853

EID: 2-s2.0-84898015922

Mostrar Detalles




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

2014 | CONFERENCE_PAPER

DOI: 10.1109/AINA.2014.141

EID: 2-s2.0-84903849570

Mostrar Detalles




PTTAC: Passive testing tool for asynchronous systems

2014 | CONFERENCE_PAPER

DOI: 10.1109/SITIS.2014.83

EID: 2-s2.0-84928556288

Mostrar Detalles




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

2014 | JOURNAL_ARTICLE

DOI: 10.1016/j.chb.2013.07.033

EID: 2-s2.0-84892442231

Mostrar Detalles




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

2014 | BOOK

DOI: 10.4028/www.scientific.net/KEM.615.145

EID: 2-s2.0-84904090985

Mostrar Detalles




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

2013 | BOOK

DOI: 10.1007/978-3-642-45364-9_28

EID: 2-s2.0-84904657954

Mostrar Detalles




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

2013 | BOOK

DOI: 10.1007/978-3-642-36177-7_9

EID: 2-s2.0-84879738180

Mostrar Detalles




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

2013 | JOURNAL_ARTICLE

DOI: 10.1016/j.proeng.2013.08.268

EID: 2-s2.0-84891714401

Mostrar Detalles




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

2012 | BOOK

DOI: 10.1007/978-3-642-35755-8_13

EID: 2-s2.0-84882278001

Mostrar Detalles




Complex event processing applied to early maritime threat detection

2012 | CONFERENCE_PAPER

DOI: 10.1145/2377836.2377838

EID: 2-s2.0-84867715746

Mostrar Detalles




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

2012 | CONFERENCE_PAPER

EID: 2-s2.0-84873113638

Mostrar Detalles




Hierarchical events for efficient distributed network analysis and surveillance

2012 | CONFERENCE_PAPER

DOI: 10.1145/2377836.2377839

EID: 2-s2.0-84867733519

Mostrar Detalles




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

2012 | CONFERENCE_PAPER

EID: 2-s2.0-84868674316

Mostrar Detalles




Mutation testing of event processing queries

2012 | CONFERENCE_PAPER

DOI: 10.1109/ISSRE.2012.20

EID: 2-s2.0-84876367758

Mostrar Detalles




AN APPROACH TO METAMORPHIC TESTING FOR WS-BPEL COMPOSITIONS

2011 | JOURNAL_ARTICLE

Mostrar Detalles




An approach to Metamorphic Testing for WS-BPEL compositions

2011 | CONFERENCE_PAPER

EID: 2-s2.0-80052441619

Mostrar Detalles




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

2011 | CONFERENCE_PAPER

DOI: 10.1109/ICSTW.2011.52

EID: 2-s2.0-80051652998

Mostrar Detalles




EUnit: A unit testing framework for model management tasks

2011 | BOOK

DOI: 10.1007/978-3-642-24485-8_29

EID: 2-s2.0-80054083510

Mostrar Detalles




Evolutionary mutation testing

2011 | JOURNAL_ARTICLE

DOI: 10.1016/j.infsof.2011.03.008

EID: 2-s2.0-79960004980

Mostrar Detalles




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

2011 | CONFERENCE_PAPER

EID: 2-s2.0-80052972640

Mostrar Detalles




Model-driven design of performance requirements

2011 | CONFERENCE_PAPER

DOI: 10.1109/QSIC.2011.16

EID: 2-s2.0-80053014581

Mostrar Detalles




Model-driven design of performance requirements withuml and marte

2011 | CONFERENCE_PAPER

EID: 2-s2.0-80052580425

Mostrar Detalles




TOWARDS HIGHER-ORDER MUTANT GENERATION FOR WS-BPEL

2011 | JOURNAL_ARTICLE

Mostrar Detalles




Towards higher-order mutant generation for WS-BPEL

2011 | CONFERENCE_PAPER

EID: 2-s2.0-80052483593

Mostrar Detalles




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

2010 | JOURNAL_ARTICLE

DOI: 10.1016/j.jsc.2009.07.002

EID: 2-s2.0-70349973702

Mostrar Detalles




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

2010 | BOOK

DOI: 10.1007/978-3-642-13911-6_35

EID: 2-s2.0-77955043070

Mostrar Detalles




Inference of performance annotations in web service composition models

2010 | CONFERENCE_PAPER

EID: 2-s2.0-80052565608

Mostrar Detalles




Quantitative evaluation of mutation operators for WS-BPEL compositions

2010 | CONFERENCE_PAPER

DOI: 10.1109/ICSTW.2010.36

EID: 2-s2.0-77953775760

Mostrar Detalles




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

2010 | BOOK

DOI: 10.1007/978-3-642-13911-6_45

EID: 2-s2.0-77955043802

Mostrar Detalles




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

2009 | BOOK

DOI: 10.1007/978-3-642-02818-2_40

EID: 2-s2.0-70350228803

Mostrar Detalles




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

2009 | CONFERENCE_PAPER

DOI: 10.1109/ECOWS.2009.18

EID: 2-s2.0-74549113654

Mostrar Detalles




Hypertext navigation of ACL2 proofs with XMLEye

2009 | CONFERENCE_PAPER

DOI: 10.1145/1637837.1637845

EID: 2-s2.0-77952981177

Mostrar Detalles




Improving Takuan to analyze a meta-search engine WS-BPEL composition

2008 | CONFERENCE_PAPER

DOI: 10.1109/SOSE.2008.18

EID: 2-s2.0-62249201373

Mostrar Detalles




Takuan: A dynamic invariant generation system for WS-BPEL compositions

2008 | CONFERENCE_PAPER

DOI: 10.1109/ECOWS.2008.17

EID: 2-s2.0-58449117461

Mostrar Detalles




Verified Computer Algebra in ACL2 (Gröbner Bases Computation)

2004 | BOOK

EID: 2-s2.0-35048881126

Mostrar Detalles