Información ORCID de MEDINA BULO, MARÍA 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


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 | BOOK_CHAPTER

DOI: 10.1109/AINA.2014.141

EID: 2-s2.0-84903849570

Mostrar Detalles




PTTAC: Passive Testing Tool for Asynchronous Systems

2014 | JOURNAL_ARTICLE

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