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 | 69 | 2011 |
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 | 64 | 2009 |
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 | 62 | 2008 |
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 | 50 | 2015 |
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 | 48 | 2011 |
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 | 38 | 2010 |
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 | 37 | 2014 |
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 | 36 | 2014 |
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 | 35 | 2014 |
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 | 33 | 2014 |
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 | 32 | 2017 |
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 | 31 | 2015 |
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 | 31 | 2009 |
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 | 26 | 2015 |
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 | 25 | 2011 |
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 | 20 | 2015 |
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 | 20 | 2010 |
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 | 20 | 2008 |
A comparison of BPMN 2.0 with other notations for manufacturing processes A García-Domínguez, M Marcos, I Medina AIP Conference Proceedings 1431 (1), 593-600, 2012 | 19 | 2012 |
Assessment of C++ object‐oriented mutation operators: A selective mutation approach P Delgado‐Pérez, S Segura, I Medina‐Bulo Software Testing, Verification and Reliability 27 (4-5), e1630, 2017 | 18 | 2017 |