Inmaculada Medina-Bulo

Personal Information

  • Professor
  • Department of Computer Science and Engineering
  • School of Engineering - University of Cádiz
  • UCASE Software Engineering Research Group
  • Address: Avda. de la Universidad de Cádiz nº 10,
    11519 Puerto Real, Cádiz (Spain)
  • E-mail: inmaculada.medina@uca.es
  • Phones: (+34) 956 015780 | (internal) 45780 | (mobile) 689 468187
  • FAX: (+34) 956 015101

Biography

Dr. Inmaculada Medina-Bulo received her PhD in Computer Science at the University of Seville (Spain). She has been an Associate Professor in the Department of Computer Science and Engineering of the University of Cádiz (Spain) since 1999. 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 or organizing committees at different conferences and journals. She has published numerous papers in international journals, and international conference and workshop proceedings. She is the main researcher of the UCASE Software Engineering Research Group. Her main research interests are software verification, software testing, web service compositions, model-driven engineering and complex event processing.  She has coordinated the development of several open source testing tools, such as the MuBPEL mutation testing tool for WS-BPEL, the GAmeraHOM tool for locating “hard-to-kill” mutants, the Rodan test case generation tool and the Takuan dynamic invariant generator for WS-BPEL. She has participated in and leaded research projects, all involved in software engineering related aspects. Currently she is leading the Spanish MoDSOA project on which an extension of a model-driven methodology for SOA 2.0 is been developed.

Research interests

  • Software Verification and Validation
    • Software Testing
    • Mutation testing
    • Dynamic invariant generation
  • Model-driven development
  • Web Service compositions
  • Computer Science education

Citation Databases

See publications

List of publications of Inmaculada Medina-Bulo