Type
Year
2024
A. Yohannis, D. Kolovos, and A. García-Domínguez,
“Exploring complex models with Picto Web,” Science of Computer Programming, vol. 232, ISSN: 01676423, p. 103037, Jan. 2024.
DOI 2023
W. Barnett, S. Zschaler, A. Boronat, A. Garcia-Dominguez, and D. Kolovos,
“An Online Education Platform for Teaching MDE,” in Educators Symposium at MODELS 2023, 2023.
URL I. Predoaia, D. Kolovos, M. Lenk, and A. García-Domínguez,
“Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages,” Journal of Object Technology, vol. 22, no. 2, ISSN: 1660-1769, Jul. 2023.
URL DOI 2022
A. Yohannis, D. Kolovos, A. Garcia-Dominguez, and C. J. Fernández Candel,
“Picto Web: A Tool for Complex Model Exploration,” in Companion Proceedings of MODELS 2022, Montreal, Canada, 2022.
DOI D. Kolovos and A. García-Domínguez,
“The Epsilon Playground,” in Companion Proceedings of MODELS 2022, Montreal, Canada, 2022.
DOI J. M. Parra-Ullauri, A. Garcia-Dominguez, N. Bencomo, and L. H. García-Paucar,
“History-Aware Explanations: Towards Enabling Human-in-the-Loop in Self-Adaptive Systems with Temporal Models,” in Companion Proceedings of MODELS 2022, Montreal, Canada, 2022. To be published.
DOI S. Popoola, X. Zhao, J. Gray, and A. García-Domínguez,
“Classifying Changes to Models via Changeset Metrics,” in Companion Proceedings of MODELS 2022, Montreal, Canada, 2022.
DOI S. Popoola, J. Gray, A. García-Domínguez, and D. Kolovos,
“Analyzing Model Changes with Loupe,” in Companion Proceedings of MODELS 2022, Montreal, Canada, 2022.
DOI A. García-Domínguez, F. Palomo-Lozano, I. Medina-Bulo, A. Ibias, and M. Núñez,
“Computing performance requirements for web service compositions,” Computer Standards & Interfaces, vol. 83, ISSN: 0920-5489, p. 103664, Jul. 2022.
URL DOI J. M. Parra-Ullauri, A. García-Domínguez, N. Bencomo, C. Zheng, C. Zhen, J. Boubeta-Puig, G. Ortiz, and S. Yang,
“Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning,” Softw Syst Model, vol. 21, no. 3, ISSN: 1619-1374, pp. 1091–1113, Jun. 2022.
URL DOI K. J. Valle-Gómez, A. García-Domínguez, P. Delgado-Pérez, and I. Medina-Bulo,
“Mutation-inspired symbolic execution for software testing,” IET Software, vol. 16, no. 5, pp. 478–492, May 2022.
DOI 2021
G. Hinkel, A. Garcia-Dominguez, R. Schöne, A. Boronat, M. Tisi, T. Le Calvar, F. Jouault, J. Marton, T. Nyíri, J. B. Antal, M. Elekes, and G. Szárnyas,
“A cross-technology benchmark for incremental graph queries,” Softw Syst Model, ISSN: 1619-1374, Dec. 2021.
URL DOI J. M. Parra-Ullauri, A. García-Domínguez, J. Boubeta-Puig, N. Bencomo, and G. Ortiz,
“Towards an architecture integrating complex event processing and temporal graphs for service monitoring,” in Proceedings of the 36th Annual ACM Symposium on Applied Computing, New York, NY, USA, 2021, ISBN: 978-1-4503-8104-8, pp. 427–435.
URL DOI M. Palomo-Duarte, A. García-Domínguez, and A. Balderas,
“Assessment in Software Development for Competitive Environments: An AI Strategy Development Case Study,” Electronics, vol. 10, no. 13, p. 1566, Jan. 2021.
URL DOI C. Zheng, S. Yang, J. M. Parra-Ullauri, A. Garcia-Dominguez, and N. Bencomo,
“Reward-Reinforced Generative Adversarial Networks for Multi-Agent Systems,” IEEE Transactions on Emerging Topics in Computational Intelligence, ISSN: 2471-285X, pp. 1–10, 2021.
DOI J. M. Parra-Ullauri, A. García-Domínguez, and N. Bencomo,
“From a Series of (Un)fortunate Events to Global Explainability of Runtime Model-Based Self-Adaptive Systems,” in 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2021, pp. 807–816.
DOI A. Boronat, A. García-Domínguez, and G. Hinkel, Eds.,
Joint Proceedings of the 13th and 14th Tool Transformation Contests, vol. 3089. Virtual Event, Bergen: CEUR, 2021. ISSN: 1613-0073.
URL H. P.-B. Nguyen, A. García-Domíguez, and M. Clavel,
“The TTC 2021 OCL2PSQL case,” in Joint Proceedings of the 13th and 14th Tool Transformation Contests, Virtual Event, Bergen, Norway, 2021, vol. 3089. ISSN: 1613-0073.
URL A. García-Domínguez,
“The Epsilon Solution to the OCL2PSQL Case,” in Joint Proceedings of the 13th and 14th Tool Transformation Contests, Virtual Event, Bergen, Norway, 2021, vol. 3089. ISSN: 1613-0073.
URL 2020
J. M. Parra-Ullauri, A. García-Domínguez, L. H. García-Paucar, and N. Bencomo,
“Temporal Models for History-Aware Explainability,” in Proceedings of the 12th System Analysis and Modelling Conference, New York, NY, USA, 2020, ISBN: 978-1-4503-8140-6, pp. 155–164.
URL DOI O. Reynolds, A. García-Domínguez, and N. Bencomo,
“Towards automated provenance collection for runtime models to record system history,” in Proceedings of the 12th System Analysis and Modelling Conference, New York, NY, USA, 2020, ISBN: 978-1-4503-8140-6, pp. 12–21.
URL DOI O. Reynolds, A. García-Domínguez, and N. Bencomo,
“Automated provenance graphs for models@run.time,” in Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, New York, NY, USA, 2020, ISBN: 978-1-4503-8135-2, pp. 1–10.
URL DOI L. Gutiérrez-Madroñal, A. García-Domínguez, and I. Medina-Bulo,
“Combining Evolutionary Mutation Testing with Random Selection,” in 2020 IEEE Congress on Evolutionary Computation (CEC), 2020, pp. 1–8.
DOI M. del C. de Castro-Cabrera, A. García-Domínguez, and I. Medina-Bulo,
“Trends in prioritization of test cases: 2017-2019,” in Proceedings of the 35th Annual ACM Symposium on Applied Computing, New York, NY, USA, 2020, ISBN: 978-1-4503-6866-7, pp. 2005–2011.
URL DOI A. García-Domínguez and G. Hinkel,
“The TTC 2019 Live Case: BibTex to DocBook,” in CEUR Workshop Proceedings, 2020, vol. 2550, pp. 61–65.
URL A. García-Domínguez and G. Hinkel,
“Truth tables to binary decision diagrams,” in CEUR Workshop Proceedings, 2020, vol. 2550, pp. 3–7.
URL A. Garcia-Dominguez, G. Hinkel, and F. Křikava,
“Preface to: Proceedings of the 12th Transformation Tool Contest co-located with the 2019 Software Technologies: Applications and Foundations (STAF 2019),” CEUR Workshop Proceedings, vol. 2550, ISSN: 1613-0073, Feb. 2020. publisher: CEUR-WS.org.
K. Barmpis, A. García-Domínguez, A. Bagnato, and A. Abherve,
“Monitoring model analytics over large repositories with Hawk and MEASURE,” in Model Management and Analytics for Large Scale Systems, ISBN: 978-0-12-816649-9, B. Tekinerdogan, Ö. Babur, L. Cleophas, M. van den Brand, and M. Akşit, Eds. Academic Press, 2020, pp. 87–123.
DOI 2019
L. Gutiérrez‐Madroñal, A. García‐Domínguez, and I. Medina‐Bulo,
“Evolutionary mutation testing for IoT with recorded and generated events,” Software: Practice and Experience, vol. 49, no. 4, ISSN: 1097-024X, pp. 640–672, 2019.
DOI A. Garcia-Dominguez, N. Bencomo, J. M. Parra-Ullauri, and L. Garcia-Paucar,
“Querying and annotating model histories with time-aware patterns,” in Proceedings of the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Munich, Germany, 2019, ISBN: 978-1-72812-535-0, pp. 194–204.
DOI C. Eke, A. Garcia-Dominguez, J. van Mourik, and I. Khan,
“A Case Study of Model-Driven Engineering for Automated Timetabling,” in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019, pp. 203–210. ISSN: null.
DOI A. Garmendia, E. Guerra, J. de Lara, A. García-Domínguez, and D. Kolovos,
“Scaling-up domain-specific modelling languages through modularity services,” Information and Software Technology, ISSN: 0950-5849, May 2019.
DOI M. C. de Castro-Cabrera, A. García-Domínguez, and I. Medina-Bulo,
“Using Constraint Solvers to Support Metamorphic Testing,” in 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET), 2019, pp. 32–39.
DOI K. Chaabouni, A. Bagnato, and A. Garcia-Dominguez,
“Monitoring ArchiMate Models for DataBio Project,” in Product-Focused Software Process Improvement, Cham, 2019, ISBN: 978-3-030-35333-9, pp. 583–589.
DOI 2018
A. García-Domínguez, N. Bencomo, and L. H. G. Paucar,
“Reflecting on the past and the present with temporal graph-based models,” in Proceedings of the 13th International Workshop on Models@run.time, Copenhagen, Denmark, 2018, vol. 2245, pp. 46–55.
URL A. García-Domínguez, G. Hinkel, and F. Krikava,
Proceedings of the 11th Transformation Tool Contest, vol. 2310. Toulouse, France: CEUR-WS.org, 2018.
URL A. García-Domínguez,
“Hawk solutions to the TTC 2018 Social Media Case,” in Proceedings of the 11th Transformation Tool Contest, Toulouse, France, 2018, vol. 2310, pp. 51–55.
URL A. García-Domínguez, A. Abherve, K. Barmpis, O. Al-Wadeai, and A. Bagnato,
“Integration of Hawk for Model Metrics in the MEASURE Platform,” in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, Funchal, Madeira, Portugal, 2018.
DOI A. Garcia-Dominguez and N. Bencomo,
“Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation,” in Software Technologies: Applications and Foundations, 2018, ISBN: 978-3-319-74730-9, pp. 161–171.
DOI 2017
P. Delgado-Pérez, I. Medina-Bulo, S. Segura, A. García-Domínguez, and J. José,
“GiGAn: Evolutionary Mutation Testing for C++ Object-oriented Systems,” in Proceedings of the Symposium on Applied Computing, New York, NY, USA, 2017, ISBN: 978-1-4503-4486-9, pp. 1387–1392.
URL DOI A. García-Domínguez, G. Hinkel, and F. Krikava,
Proceedings of the 10th Transformation Tool Contest, vol. 2026. Marburg, Germany: CEUR-WS.org, 2017.
URL 2016
A. Garcia-Dominguez, F. Krikava, and L. M. Rose, Eds.,
Proceedings of the 9th Transformation Tool Contest, vol. 1758. 2016. ISSN 1613-0073.
URL R. Wei, D. S. Kolovos, A. Garcia-Dominguez, K. Barmpis, and R. F. Paige,
“Partial loading of XMI models,” in Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint Malo, France, 2016, ISBN: 978-1-4503-4321-3, pp. 329–339.
URL DOI A. Garcia-Dominguez and D. S. Kolovos,
“Models from Code or Code as a Model?,” in Proceedings of the 16th International Workshop in OCL and Textual Modeling, Saint Malo, France, 2016.
URL A. Garcia-Dominguez, K. Barmpis, D. S. Kolovos, M. A. A. da Silva, A. Abherve, and A. Bagnato,
“Integration of a graph-based model indexer in commercial modelling tools,” in Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint Malo, France, 2016, ISBN: 978-1-4503-4321-3, pp. 340–350.
URL DOI D. S. Kolovos, N. Matragkas, and A. Garcia-Dominguez,
“Towards Flexible Parsing of Structured Textual Model Representations,” in Proceedings of the 2nd Flexible MDE Workshop, Saint Malo, France, 2016.
URL PreprintP. Delgado-Pérez, I. Medina-Bulo, S. Segura, A. Garcia-Dominguez, and J. J. Domínguez-Jiménez,
“Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos,” in Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos, Salamanca, Spain, 2016.
URL A. Garcia-Dominguez, K. Barmpis, D. S. Kolovos, R. Wei, and R. F. Paige,
“Stress-Testing Centralised Model Stores,” in Proceedings of the 12th European Conference on Modelling Foundations and Applications, Vienna, Austria, 2016, ISBN: 978-3-319-42061-5, pp. 48–63.
URL DOI D. S. Kolovos, A. Garcia-Dominguez, R. F. Paige, E. Guerra, J. de Lara, I. Rath, D. Varró, G. Sunyé, and M. Tisi,
“MONDO: Scalable Modelling and Model Management on the Cloud,” in Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, 2016.
URL A. García-Domínguez, I. Jerez-Ibáñez, and I. Medina-Bulo,
“Two Case Studies on Generating Administrative Process Applications with AdminDSL,” in Business Modeling and Software Design, ISBN: 978-3-319-40511-7, B. Shishkov, Ed. Springer International Publishing, 2016, pp. 96–116. DOI: 10.1007/978-3-319-40512-4_6.
URL I. Jerez-Ibáñez,
“Lenguaje de dominio específico para generación de aplicaciones web de procesos administrativos,” BSc thesis, Universidad de Cádiz, Cadiz, Spain, 2016.
URL C. Carnicer Fuentes, C. Castro Yuste, J. M. Martínez Nieto, P. I. García de Lomas, D. Abeijón Durán, G. Aburruzaga García, A. García Domínguez, J. T. Tocino García, I. Medina Bulo, M. J. García Cabanillas, O. Paloma Castro, M. C. Paublete Herrera, M. J. Rodríguez Cornejo, and L. J. Moreno Corral,
“Aplicación web de gestión administrativa y docente de las asignaturas Practicum del Ârea de Enfermería,” presented at the I Jornadas de Innovación Docente Universitaria UCA, Cadiz, Spain, 2016, pp. 1–4.
URL Preprint2015
A. García Domínguez, I. Jerez-Ibáñez, and I. Medina Bulo,
“Lenguaje específico del dominio para generación de aplicaciones de procesos administrativos,” in Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos, Santander, Spain, 2015.
URL PreprintA. García-Domínguez, I. Jerez-Ibáñez, and I. Medina Bulo,
“Domain-Specific Language for Generating Administrative Process Applications,” in Proceedings of the 5th International Symposium of Business Modeling and Software Design, Milan, Italy, 2015, ISBN: 978-989-758-111-3, pp. 178–183.
URL M. de los Á. Villalba Fernández,
“Implementación de extremo a extremo en WS-BPEL 2.0 de procesos de negocio interactivos para gestión inmobiliaria,” BSc thesis, Universidad de Cádiz, Cádiz, Spain, 2015.
URL D. S. Kolovos, A. García-Domínguez, L. M. Rose, and R. F. Paige,
“Eugenia: towards disciplined and automated development of GMF-based graphical model editors,” Softw Syst Model, ISSN: 1619-1366, 1619-1374, pp. 1–27, Feb. 2015. The final publication is available at Springer (see URL/DOI).
URL DOI Preprint2014
A. Estero-Botaro, A. García-Domínguez, J. J. Domínguez-Jiménez, F. Palomo-Lozano, and I. Medina-Bulo,
“A Framework for Genetic Test-Case Generation for WS-BPEL Compositions,” in Testing Software and Systems, ISBN: 978-3-662-44856-4, M. G. Merayo and E. M. de Oca, Eds. Springer Berlin Heidelberg, 2014, pp. 1–16.
URL P. Delgado-Pérez, I. Medina-Bulo, J. J. Domínguez-Jiménez, A. García-Domínguez, and F. Palomo-Lozano,
“Class mutation operators for C++ object-oriented systems,” Ann. Telecommun., vol. 70, no. 3–4, ISSN: 0003-4347, 1958-9395, pp. 137–148, Sep. 2014.
URL DOI M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo,
“Automatic dynamic generation of likely invariants for WS-BPEL compositions,” Expert Systems with Applications, vol. 41, no. 11, ISSN: 0957-4174, pp. 5041–5055, Sep. 2014.
URL DOI V. Liñeiro-Barea, A. Estero Botaro, A. García Domínguez, and I. Medina-Bulo,
“Generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0,” in Actas de las XIX Jornadas de Ingeniería del Software y Bases de Datos, Cádiz, Spain, 2014, ISBN: 978-84-697-1152-1, pp. 211–216.
URL A. García-Domínguez and I. Medina-Bulo,
“Experiencias en la implantación de Inteligencia del Negocio en la Universidad de Cádiz,” Jaén, España, 04-Jun-2014.
URL A. Estero-Botaro, F. Palomo-Lozano, I. Medina-Bulo, J. J. Domínguez-Jiménez, and A. García-Domínguez,
“Quality metrics for mutation testing with applications to WS-BPEL compositions,” Softw. Test. Verif. Reliab., ISSN: 1099-1689, pp. 536–571, May 2014.
URL DOI M. Palomo-Duarte, J. Manuel-Dodero, and A. García-Domínguez,
“Betting System for Formative Code Review in Educational Competitions,” Expert Systems with Applications, vol. 41, no. 5, ISSN: 0957-4174, pp. 2222–2230, Apr. 2014.
URL DOI M. Palomo-Duarte, J. M. Dodero, A. García-Domínguez, P. Neira-Ayuso, N. Sales-Montes, I. Medina-Bulo, F. Palomo-Lozano, C. Castro-Cabrera, E. J. Rodríguez-Posada, and A. Balderas,
“Scalability of assessments of wiki-based learning experiences in higher education,” Computers in Human Behavior, vol. 31, ISSN: 0747-5632, pp. 638–650, Feb. 2014.
URL DOI 2013
A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena,
“An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE,” in Software and Data Technologies, ISBN: 978-3-642-36176-0, M. J. Escalona, J. Cordeiro, and B. Shishkov, Eds. Springer Berlin Heidelberg, 2013, pp. 136–150.
URL Á. Jiménez Rielo, D. Granada, and A. García Domínguez,
“Eugenia,” in Desarrollo de software dirigido por modelos: conceptos, métodos y herramientas, 1st ed., ISBN: 978-84-9964-215-4, Madrid, España: Ra-Ma, 2013, pp. 155–171.
URL J. Boubeta-Puig, J. J. Domínguez Jiménez, A. Estero Botaro, E. Gadeschi Díaz, and A. García Domínguez,
“Seguridad Informática y Competencias Profesionales,” 14-Nov-2013.
URL A. García Domínguez,
“Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación,” PhD thesis, Universidad de Cádiz, Cádiz, Spain, 2013.
URL A. Estero Botaro, A. García Domínguez, J. J. Domínguez Jiménez, F. Palomo Lozano, and I. Medina Bulo,
“Generación genética de casos de prueba para composiciones WS-BPEL,” in Actas de las XVIII Jornadas de Ingeniería del Software y Bases de Datos, Madrid, España, 2013, ISBN: 978-84-695-8310-4, pp. 220–233.
URL P. Delgado Pérez, I. Medina Bulo, J. J. Domínguez Jiménez, and A. García Domínguez,
“Operadores de Mutación a Nivel de Clase para el Lenguaje C++,” in Actas de las XII Jornadas sobre Programación y Lenguajes, Madrid, España, 2013, ISBN: 978-84-695-8331-9, pp. 76–90.
URL A. García-Domínguez, M. Marcos-Bárcena, I. Medina-Bulo, and L. Prades-Martell,
“Towards an Integrated SOA-based Architecture for Interoperable and Responsive Manufacturing Systems,” Procedia Engineering, vol. 63, ISSN: 1877-7058, pp. 123–132, Sep. 2013.
URL DOI M. Á. Pérez Montero, A. García Domínguez, and J. J. Domínguez Jiménez,
“Generador de casos de prueba basado en estrategias personalizables,” BSc Thesis, Universidad de Cádiz, Cádiz, Spain, 2013. El código se encuentra disponible en https://neptuno.uca.es/redmine/projects/sources-fm.
URL J. L. Ezquerro Casado, J. J. Domínguez Jiménez, and A. García Domínguez,
“Generador de conjuntos de pruebas paramétricos BPELUnit para composiciones WS-BPEL,” BSc Thesis, Universidad de Cádiz, Cádiz, Spain, 2013. Código fuente disponible en https://neptuno.uca.es/redmine/projects/sources-fm.
URL 2012
A. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Hacia la Unificación de Sistemas Multiagente con Arquitecturas Orientadas a Servicios en Sistemas Distribuidos de Fabricación,” in Actas de las IV Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain, 2012, pp. 35–38.
URL A. García-Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Performance Test Case Generation for Java and WSDL-based Web Services from MARTE,” International Journal on Advances in Internet Technology, vol. 5, no. 3–4, ISSN: 1942-2652, pp. 173–185, Dec. 2012.
URL Manuel Palomo Duarte, Juan Manuel Dodero, Antonio García-Domínguez, Pablo Neira Ayuso, Noelia Sales Montes, Inmaculada Medina Bulo, Francisco Palomo Lozano, Carmen Castro Cabrera, and Emilio J. Rodríguez Posada,
“Computer-supported assessment of wikis in higher education: two case studies,” in Proceedings of the 14th International Symposium on Computers in Education, Andorra, 2012.
URL A. Nogueiro Mariscal,
“Generación de código Hibernate desde modelos UML,” BSc Thesis, Universidad de Cádiz, Cádiz, Spain, 2012.
URL Á. Galán Piñero,
“Generador de casos de prueba genético,” BSc Thesis, Universidad de Cádiz, Cádiz, Spain, 2012. Código fuente del programa disponible bajo licencia Apache Software License 2.0 en https://neptuno.uca.es/redmine/projects/sources-fm. Fuentes LaTeX de los documentos disponibles bajo https://neptuno.uca.es/redmine/projects/gamerahom-ggen.
URL A. García Domínguez, A. Estero Botaro, J. J. Domínguez Jiménez, I. Medina Bulo, and F. Palomo Lozano,
“MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0,” in Actas de las XVII Jornadas de Ingeniería del Software y Bases de Datos, Almería, Spain, 2012, ISBN: 978-84-15487-28-9, pp. 415–418.
URL A. García Domínguez and I. Medina Bulo,
“Un Método de Generación de Pruebas de Rendimiento para Múltiples Tecnologías desde Modelos UML con Anotaciones MARTE,” in Actas de las VIII Jornadas de Ciencia e Ingeniería de Servicios, Almería, Spain, 2012, ISBN: 978-84-15487-26-5, pp. 51–64.
URL Manuel Palomo Duarte, Juan Manuel Dodero, José Tomás Tocino, Antonio García-Domínguez, and Antonio Balderas,
“Competitive Evaluation in a Video Game Development Course,” in Proceedings of the 17th Annual Conference on Innovation and Technology in Computer Science Education, Haifa, Israel, 2012, ISBN: 978-1-4503-1246-2, pp. 321–326.
URL DOI A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena,
“An Approach for Performance Test Artefact Generation for Multiple Technologies from MARTE-Annotated Workflows,” in Proceedings of the 7th International Conference on Internet and Web Applications and Services, Stuttgart, Germany, 2012, ISBN: 978-1-61208-200-4, pp. 221–226.
URL A. García-Domínguez, M. Marcos-Bárcena, and I. Medina-Bulo,
“A Comparison of BPMN 2.0 with Other Notations for Manufacturing Processes,” Key Engineering Materials, vol. 502, ISSN: 1013-9826, pp. 1–6, Feb. 2012. ISBN: 978-3-03785-358-0.
URL DOI E. Blanco Muñoz, J. J. Domínguez Jiménez, and A. García Domínguez,
“GameraHOM, un generador de mutantes de orden superior para composiciones WS-BPEL,” BSc Thesis, University of Cádiz, Cádiz, Spain, 2012.
URL M. Á. Pérez Montero, J. J. Domínguez Jiménez, and A. García Domínguez,
“Generador de casos de prueba aleatorio basado en especificaciones abstractas,” BSc Thesis, Universidad de Cádiz, Cádiz, Spain, 2012.
URL 2011
A. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Un Enfoque para la Generación de Pruebas para Múltiples Tecnologías desde Flujos de Trabajo Anotados con MARTE,” in Actas de las III Jornadas Predoctorales de la ESI, Cádiz, Spain, 2011, ISBN: 978-84-695-2338-4, pp. 39–42.
PreprintL. M. Rose, A. García Domínguez, J. R. Williams, D. S. Kolovos, R. F. Paige, and F. A. C. Polack,
“Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case,” Electronic Proceedings in Theoretical Computer Science, vol. 74, ISSN: 2075-2180, pp. 332–339, Nov. 2011. Satellite workshop to TOOLS 2011.
URL DOI A. García-Domínguez, D. S. Kolovos, L. M. Rose, R. F. Paige, and I. Medina-Bulo,
“EUnit: a Unit Testing Framework for Model Management Tasks,” in Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand, 2011, vol. 6981/2011, ISBN: 978-3-642-24484-1, pp. 395–409.
URL DOI J. J. Domínguez-Jiménez, A. Estero-Botaro, A. García-Domínguez, and I. Medina-Bulo,
“Evolutionary mutation testing,” Information and Software Technology, vol. 53, no. 10, ISSN: 0950-5849, pp. 1108–1123, Oct. 2011.
URL DOI J. D. Morcillo Regueiro, A. Estero Botaro, and A. García Domínguez,
“Interfaz gráfica para MuBPEL,” BSc Thesis, Universidad de Cádiz, Cádiz, Spain, 2011.
URL A. García-Domínguez, M. Marcos-Bárcena, and I. Medina-Bulo,
“A Comparison of BPMN 2.0 with Other Notations for Manufacturing Processes,” in Proceedings of the 4th Manufacturing Engineering Society International Conference, Cádiz, Spain, 2011, vol. 1431, ISBN: 978-84-615-6972-4, pp. 593–600. Abstracts book: ISBN 978-84-615-6973-1. Event URL: http://mesic2011.uca.es.
URL DOI A. García-Domínguez and I. Medina-Bulo,
“Inferencia Automática de Requisitos Locales de Rendimiento en Flujos de Trabajo Anotados con MARTE,” in Actas de las XVI Jornadas de Ingeniería del Software y Bases de Datos, A Coruña, Spain, 2011, ISBN: 978-84-9749-486-1, pp. 585–598.
URL E. Blanco Muñoz, A. García Domínguez, J. J. Domínguez Jiménez, and I. Medina Bulo,
“Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL,” in Actas de las XVI Jornadas de Ingeniería del Software y Bases de Datos, A Coruña, Spain, 2011, ISBN: 978-84-9749-486-1, pp. 537–542.
URL A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena,
“Model-driven Design of Performance Requirements with UML and MARTE,” in Proceedings of the 6th International Conference on Software and Data Technologies, Seville, Spain, 2011, vol. 2, ISBN: 978-989-8425-77-5, pp. 54–63.
URL E. Blanco Muñoz, A. García Domínguez, J. J. Domínguez Jiménez, and I. Medina Bulo,
“Towards Higher-Order Mutant Generation for WS-BPEL,” in Proceedings of the 2011 International Conference on e-Business, Seville, Spain, 2011, ISBN: 978-989-8425-70-6, pp. 143–148.
URL A. García-Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Model-Driven Design of Performance Requirements,” in Proceedings of the 11th International Conference on Quality Software, Madrid, Spain, 2011, ISBN: 978-1-4577-0754-4, pp. 76–85.
URL DOI C. Jiménez Gavilán, J. J. Domínguez Jiménez, and A. García Domínguez,
“Analizador de Servicios Web basados en WSDL 1.1 para pruebas paramétricas,” Bachelor’s Thesis, University of Cádiz, Cádiz, Spain, 2011.
URL J. Boubeta-Puig, I. Medina-Bulo, and A. García-Domínguez,
“Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes,” REICIS, vol. 7, no. 1, ISSN: 1885-4486, pp. 23–46, Mar. 2011.
URL J. Boubeta-Puig, A. García-Domínguez, and I. Medina-Bulo,
“Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages,” in Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Berlin, Germany, 2011, ISBN: 978-0-7695-4345-1, pp. 398–407. Print ISBN: 978-1-4577-0019-4 (the other ISBN is for the electronic version).
URL DOI M. Palomo Duarte, J. M. Dodero Beardo, A. Balderas Alberico, and A. García Domínguez,
“Evaluación competitiva en el desarrollo de videojuegos,” in Experiencias innovadoras de evaluación en la era digital, Cádiz, Spain, 2011, ISBN: 978-84-15490-02-9, pp. 99–108.
URL 2010
A. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Avances Hacia un Algoritmo Optimizado para la Inferencia de Restricciones Locales de Rendimiento en Grafos,” in Actas de las II Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain, 2010, ISBN: 978-84-608-1137-4, p. TIC.5–TIC.8.
PreprintA. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Inference and propagation of performance constraints from abstract to concrete business workflows,” in Proceedings of the Sixth Virtual International Conference of the EU FP6 I*PROMS Network of Excellence, Virtual conference, 2010.
PreprintJ. Boubeta-Puig, A. García-Domínguez, and I. Medina-Bulo,
“Implementación de operadores de mutación para WS-BPEL 2.0,” BSc Thesis, Universidad de Cádiz, Cádiz, Spain, 2010.
URL J. Boubeta-Puig, I. Medina-Bulo, and A. García-Domínguez,
“Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes,” in Actas del V Taller sobre Pruebas en Ingeniería del Software, Valencia, Spain, 2010, vol. 4, ISBN: 1988-3455, pp. 1–8.
URL J. J. Domínguez Jiménez, A. Estero Botaro, A. García Domínguez, and I. Medina Bulo,
“Mutación Evolutiva,” in Actas de las XV Jornadas de Ingeniería del Software y Bases de Datos, Valencia, Spain, 2010, ISBN: 978-84-92812-51-6, pp. 281–292.
URL A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena,
“SODM+T: Inferencia de restricciones de rendimiento,” in Actas de las XV Jornadas de Ingeniería del Software y Bases de Datos, Valencia, Spain, 2010, vol. 1, ISBN: 978-84-92812-51-6, pp. 103–106. Demo.
PreprintJ. J. Domínguez Jiménez, A. Estero Botaro, A. García Domínguez, and I. Medina Bulo,
“GAmera: a Tool for WS-BPEL Composition Testing using Mutation Analysis,” in Proceedings of the 10th International Conference on Web Engineering, Vienna, Austria, 2010, vol. 6189, ISBN: 978-3-642-13910-9, pp. 490–493. ISSN 0302-9743.
URL P. Recio Quijano, N. Sales Montes, A. García Domínguez, and M. Palomo Duarte,
“Collaboration and competitiveness in project-based learning,” in Proceedings of the 3rd Workshop on Methods and Cases in Computing Education, Cádiz, Spain, 2010, ISBN: 978-84-694-0523-9, pp. 8–14.
URL M. Palomo Duarte, A. García Domínguez, F. Palomo Lozano, and I. Medina Bulo,
“Fomento de la Participación del Alumnado con Herramientas Libres de Trabajo Colaborativo Web 2.0,” Form. Univ., vol. 3, no. 4, ISSN: 0718-5006, pp. 25–40, 2010.
URL DOI M. Palomo Duarte, A. García Domínguez, I. Medina Bulo, A. Álvarez Ayllón, and J. Santacruz López Cepero,
“Takuan: a Tool for WS-BPEL Composition Testing using Dynamic Invariant Generation,” in Proceedings of the 10th International Conference on Web Engineering, Vienna, Austria, 2010, vol. 6189, pp. 531–534.
URL DOI A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena,
“Inference of performance constraints in Web Service composition models,” CEUR Workshop Proceedings of the 2nd International Workshop on Model-Driven Service Engineering, vol. 608, ISSN: 1613-0073, pp. 55–66, 29-Jun-2010.
URL A. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA,” Novática, no. 204, ISSN: 0211-2124, pp. 62–68, Mar-2010.
URL 2009
I. Medina Bulo, A. García Domínguez, F. Aguayo González, L. Sevilla Hurtado, and M. Marcos Bárcena,
“Proposal of a Methodology for Implementing a Service-Oriented Architecture in Distributed Manufacturing Systems,” in Proceedings of the 3rd Manufacturing Engineering Society International Conference, Alcoy, Spain, 2009, vol. 1181, ISBN: 978-0-7354-0722-0, pp. 622–632.
URL DOI J. J. Domínguez Jiménez, A. Estero Botaro, A. García Domínguez, and I. Medina Bulo,
“GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions,” in Proceedings of the 7th IEEE European Conference on Web Services, Eindhoven, The Netherlands, 2009, ISBN: 978-0-7695-3854-9, pp. 97–106.
URL DOI A. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA,” in Actas de las V Jornadas Científico-Técnicas en Servicios Web y SOA, Madrid, Spain, 2009, ISBN: 987-84-692-6832-2, pp. 167–180. Nro. Depósito Legal: M-46079-2009.
URL A. Álvarez Ayllón, A. García Domínguez, M. Palomo Duarte, and I. Medina Bulo,
“Los casos de prueba en la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL,” in Actas de las V Jornadas Científico-Técnicas en Servicios Web y SOA, Madrid, Spain, 2009, ISBN: 987-84-692-6832-2, pp. 139–152. Nro. Depósito Legal: M-46079-2009.
PreprintM. Palomo Duarte, A. García Domínguez, A. Álvarez Ayllón, and I. Medina Bulo,
“Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL,” in Actas de las XIV Jornadas de Ingeniería del Software y Bases de Datos, San Sebastián, Spain, 2009, ISBN: 978-84-692-4211-7, pp. 367–370.
URL M. Palomo Duarte, A. Álvarez Ayllón, A. García Domínguez, and I. Medina Bulo,
“La cobertura de los casos de prueba en la generación dinámica de invariantes en composiciones WS-BPEL,” in Actas de los Talleres de JISBD, San Sebastián, Spain, 2009, vol. 3(4), ISBN: 1988-3455 (ISSN), pp. 1–7.
URL M. Palomo Duarte, A. García Domínguez, and I. Medina Bulo,
“Enhancing WS-BPEL Dynamic Invariant Generation using XML Schema and XPath Information,” in Proceedings of the 9th International Conference on Web Engineering, San Sebastián, Spain, 2009, vol. 5648/2009, pp. 469–472.
URL DOI I. Medina Bulo, A. García Domínguez, F. Aguayo González, L. Sevilla Hurtado, and M. Marcos Bárcena,
“Propuesta metodológica para la implementación de una arquitectura orientada a servicios en entornos de Sistemas de Fabricación Distribuida,” in Actas del III Congreso Internacional de la Sociedad de Ingeniería de Fabricación, Alcoy, Spain, 2009, ISBN: 978-84-613-3165-9, pp. 346–353. Póster.
URL A. García-Domínguez, F. Palomo-Lozano, and I. Medina-Bulo,
“Hypertext navigation of ACL2 proofs with XMLEye,” in Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications, Boston, Massachusetts, USA, 2009, ISBN: 978-1-60558-742-4, pp. 47–56.
URL DOI A. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena,
“Primeros Avances en una Metodología Orientada a Modelos para los Sistemas de Información de Empresas de Fabricación Distribuida,” in Actas de las I Jornadas Predoctorales de la ESI, Cádiz, Spain, 2009, ISBN: 978-84-608-0981-4, pp. 109–112.
Preprint2008
M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo,
“Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions,” in Proceedings of the 6th IEEE European Conference on Web Services, Dublin, Ireland, 2008, ISBN: 978-0-7695-3399-5, pp. 63–72.
URL DOI A. García Domínguez, M. Palomo Duarte, and I. Medina Bulo,
“Implementación de un framework para la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL,” in Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA, Sevilla, Spain, 2008, ISBN: 978-84-691-6710-6, pp. 91–96.
PreprintA. García Domínguez, R. J. Rodríguez Galván, and M. Palomo Duarte,
“El software libre en el EEES,” in Innovación Educativa para la Educación Superior: Hacia el Proceso de Convergencia, Madrid, Spain, 2008, ISBN: 978-84-9849-342-9, pp. 101–120.
URL M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo,
“An Architecture for Dynamic Invariant Generation in WS-BPEL Web Service Compositions,” in Proceedings of ICE-B 2008 - International Conference on e-Business, Porto, Portugal, 2008, ISBN: 978-989-8111-58-6, pp. 37–44.
URL M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo,
“Improving Takuan to analyze a meta-search engine WS-BPEL composition,” in Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, Jhongli, Taiwan, 2008, ISBN: 978-0-7695-3499-2, pp. 109–114.
URL DOI A. García Domínguez, F. Palomo Lozano, and I. Medina Bulo,
“XMLEye: transformador y visor genérico de documentos estructurados,” BSc Thesis, Universidad de Cádiz, Cádiz, Spain, 2008.
URL 2007
G. Aburruzaga García, A. Álvarez Ayllón, A. García Domínguez, J. C. González Cerezo, M. Palomo Duarte, and R. J. Rodríguez Galván,
“Experiencias en el Desarrollo de una Taxonomía de Estándares Abiertos,” in Proceedings of the 2007 Free/Libre/Open Source Systems International Conference, Jerez de la Frontera, Spain, 2007, ISBN: 978-84-9828-124-8, pp. 281–294.
URL R. J. Rodríguez Galván, M. Palomo Duarte, J. C. González Cerezo, G. Aburruzaga García, A. García Domínguez, and A. Álvarez Ayllón,
“The Case of the University of Cadiz’s Free Software Office among Spanish Universities,” CEPIS UPGRADE, vol. VIII, no. 6, ISSN: 1684-5285, 12-Jan-2007.
URL