Inmaculada Medina-Bulo
Inmaculada Medina-Bulo
Professor of Computer Science, University of Cádiz
Dirección de correo verificada de uca.es - Página principal
Título
Citado por
Citado por
Año
Evolutionary mutation testing
JJ Domínguez-Jiménez, A Estero-Botaro, A García-Domínguez, ...
Information and Software Technology 53 (10), 1108-1123, 2011
642011
GAmera: an automatic mutant generation system for WS-BPEL compositions
JJ Domínguez-Jiménez, A Estero-Botaro, A García-Domínguez, ...
2009 Seventh IEEE European Conference on Web Services, 97-106, 2009
622009
Mutation operators for WS-BPEL 2.0
A Estero-Botaro, F Palomo-Lozano, I Medina-Bulo
21th International Conference on Software & Systems Engineering and their …, 2008
602008
EUnit: a unit testing framework for model management tasks
A García-Domínguez, DS Kolovos, LM Rose, RF Paige, I Medina-Bulo
International Conference on Model Driven Engineering Languages and Systems …, 2011
462011
MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0
J Boubeta-Puig, G Ortiz, I Medina-Bulo
Knowledge-Based Systems 89, 97-112, 2015
422015
Quantitative evaluation of mutation operators for WS-BPEL compositions
A Estero-Botaro, F Palomo-Lozano, I Medina-Bulo
2010 Third International Conference on Software Testing, Verification, and …, 2010
372010
Exact scalable sensitivity analysis for the next release problem
M Harman, J Krinke, I Medina-Bulo, F Palomo-Lozano, J Ren, S Yoo
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (2), 1-31, 2014
332014
A model-driven approach for facilitating user-friendly design of complex event patterns
J Boubeta-Puig, G Ortiz, I Medina-Bulo
Expert Systems with Applications 41 (2), 445-456, 2014
312014
Scalability of assessments of wiki-based learning experiences in higher education
M Palomo-Duarte, JM Dodero, A García-Domínguez, P Neira-Ayuso, ...
Computers in Human Behavior 31, 638-650, 2014
312014
A framework for mutant genetic generation for WS-BPEL
JJ Domínguez-Jiménez, A Estero-Botaro, I Medina-Bulo
International Conference on Current Trends in Theory and Practice of …, 2009
312009
ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns
J Boubeta-Puig, G Ortiz, I Medina-Bulo
Expert Systems with Applications 42 (21), 8095-8110, 2015
292015
Assessment of collaborative learning experiences by graphical analysis of wiki contributions
M Palomo-Duarte, JM Dodero, I Medina-Bulo, EJ Rodríguez-Posada, ...
Interactive Learning Environments 22 (4), 444-466, 2014
272014
Assessment of class mutation operators for C++ with the MuCPP mutation system
P Delgado-Pérez, I Medina-Bulo, F Palomo-Lozano, A García-Domínguez, ...
Information and Software Technology 81, 169-184, 2017
242017
Quality metrics for mutation testing with applications to WS‐BPEL compositions
A Estero‐Botaro, F Palomo‐Lozano, I Medina‐Bulo, ...
Software Testing, Verification and Reliability 25 (5-7), 536-571, 2015
242015
Analogies and differences between mutation operators for WS-BPEL 2.0 and other languages
J Boubeta-Puig, I Medina-Bulo, A García-Domínguez
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
232011
Class mutation operators for C++ object-oriented systems
P Delgado-Pérez, I Medina-Bulo, JJ Domínguez-Jiménez, ...
annals of telecommunications-annales des télécommunications 70 (3-4), 137-148, 2015
202015
Takuan: A dynamic invariant generation system for WS-BPEL compositions
M Palomo-Duarte, A García-Domínguez, I Medina-Bulo
2008 Sixth European Conference on Web Services, 63-72, 2008
202008
A verified Common Lisp implementation of Buchberger’s algorithm in ACL2
I Medina-Bulo, F Palomo-Lozano, JL Ruiz-Reina
Journal of Symbolic Computation 45 (1), 96-123, 2010
192010
An approach of early disease detection using CEP and SOA
J Boubeta-Puig, G Ortiz, I Medina-Bulo
Third International Conference on Advanced Service Computing, 143-148, 2011
172011
Employing the CEP paradigm for network analysis and surveillance
R Gad, M Kappes, J Boubeta-Puig, I Medina-Bulo
Proceedings of the Ninth Advanced International Conference on …, 2013
162013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20