Antonio García Domínguez
    • School of Engineering and Applied Science, Aston University

      B4 7ET Birmingham

      United Kingdom

    Accepting PhD Students

    PhD projects

    I am interested in supervising students on these topics: * Software testing, especially in the fields of mutation testing and metamorphic testing. * Model-driven software engineering foundations, including development of domain-specific modeling languages, automated model validation and transformation, and scalable model querying. * Model-driven software engineering applications, especially in the area of automated software engineering, including specific fields such as mining software repositories, software modernisation, or software migration. * Improving self-explanation capabilities of self-adaptive systems through the use of temporal graph databases and time-aware query languages.

    20082022

    Research activity per year

    If you made any changes in Pure these will be visible here soon.
    Filter
    Conference publication

    Search results

    • 2021

      Towards an architecture integrating complex event processing and temporal graphs for service monitoring

      Parra-Ullauri, J. M., García-Domínguez, A., Boubeta-Puig, J., Bencomo, N. & Ortiz, G., 22 Mar 2021, Proceedings of the 36th Annual ACM Symposium on Applied Computing, SAC 2021. ACM, p. 427–435 9 p. (Proceedings of the 36th Annual ACM Symposium on Applied Computing).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • 2020

      Automated provenance graphs for models@run.time

      Reynolds, O., García-Domínguez, A. & Bencomo, N., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. ACM, p. 344-353 10 p. 53. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Combining Evolutionary Mutation Testing with Random Selection

      Gutierrez-Madronal, L., Garcia-Dominguez, A. & Medina-Bulo, I., 3 Sep 2020, 2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings. IEEE, 9185618. (2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings).

      Research output: Chapter in Book/Published conference outputConference publication

    • Message from the Chairs

      Lämmel, R., Tratt, L., De Lara, J., García-Domínguez, A., Diekmann, L. & Burgueño, L., 16 Nov 2020, SLE 2020: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering. ACM, p. III (SLE 2020 - Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with SPLASH 2020).

      Research output: Chapter in Book/Published conference outputConference publication

    • Temporal Models for History-Aware Explainability

      Parra-Ullauri, J. M., García-Domínguez, A., García-Paucar, L. H. & Bencomo, N., 19 Oct 2020, Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020. ACM, p. 155–164 10 p.

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Towards automated provenance collection for runtime models to record system history

      Reynolds, O., García-Domínguez, A. & Bencomo, N., 19 Oct 2020, Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020. ACM, p. 12-22 11 p. (Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Trends in prioritization of test cases: 2017-2019

      De Castro-Cabrera, M. D. C., García-Dominguez, A. & Medina-Bulo, I., 30 Mar 2020, 35th Annual ACM Symposium on Applied Computing, SAC 2020. ACM, p. 2005-2011 7 p. (Proceedings of the ACM Symposium on Applied Computing).

      Research output: Chapter in Book/Published conference outputConference publication

    • 2019

      A Case Study of Model-Driven Engineering for Automated Timetabling

      Eke, C., Garcia-dominguez, A., Van Mourik, J. & Khan, I., 21 Nov 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). IEEE, p. 203-210 8 p. 8904643

      Research output: Chapter in Book/Published conference outputConference publication

    • Monitoring ArchiMate Models for DataBio Project

      Chaabouni, K., Bagnato, A. & Garcia-dominguez, A., 18 Nov 2019, Product-Focused Software Process Improvement - 20th International Conference, PROFES 2019, Proceedings. Franch, X., Männistö, T. & Martínez-Fernández, S. (eds.). Springer, p. 583-589 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11915 LNCS).

      Research output: Chapter in Book/Published conference outputConference publication

    • Querying and Annotating Model Histories with Time-Aware Patterns

      García-Domínguez, A., Bencomo, N., Parra-Ullauri, J. M. & García-Paucar, L. H., 21 Nov 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS 2019. Kessentini, M., Yue, T., Yue, T., Pretschner, A., Voss, S., Burgueno, L. & Burgueno, L. (eds.). IEEE, p. 194-204 11 p. 8906985

      Research output: Chapter in Book/Published conference outputConference publication

    • Towards History-Aware Self-Adaptation with Explanation Capabilities

      Garcia Dominguez, A., Bencomo, N., Parra Ullauri, J. M. & Garcia Paucar, L. H., 8 Aug 2019, 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, p. 18-23 6 p. 8791972

      Research output: Chapter in Book/Published conference outputConference publication

    • Using Constraint Solvers to Support Metamorphic Testing

      de Castro-Cabrera, M. C., Garcia-Dominguez, A. & Medina-Bulo, I., 5 Aug 2019, 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET). IEEE, p. 32-39 8 p. 8785652

      Research output: Chapter in Book/Published conference outputConference publication

    • 2018

      Integration of hawk for model metrics in the MEASURE platform

      Al-Wadeai, O., Garcia-Dominguez, A., Bagnato, A., Abherve, A. & Barmpis, K., 1 Jan 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. SciTePress, Vol. 2018-January. p. 719-730 12 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation

      Garcia-Dominguez, A. & Bencomo, N., 23 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer, Vol. 10748 LNCS. p. 161-171 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • 2017

      GiGAn: Evolutionary mutation testing for C++ object-oriented systems

      Delgado-Pérez, P., Medina-Bulo, I., Segura, S., García-Domínguez, A. & Domínguez-Jiménez, J. J., 3 Apr 2017, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. ACM, p. 1387-1392 6 p.

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • 2016

      Integration of a graph-based model indexer in commercial modelling tools

      Garcia-Dominguez, A., Barmpis, K., Kolovos, D. S., da Silva, M. A. A., Abherve, A. & Bagnato, A., 2 Oct 2016, MODELS '16 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. New York, NY (US): ACM, p. 340-350 11 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • Partial loading of XMI models

      Wei, R., Kolovos, D. S., Garcia-Dominguez, A., Barmpis, K. & Paige, R. F., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. New York, NY (US): ACM, p. 329-339 11 p.

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Stress-testing centralised model stores

      García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, (E-pub ahead of print) European Conference on Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Wąsowski, A. & Lönn, H. (eds.). Cham (CH): Springer, p. 48-63 16 p. (Lecture Notes in Computer Science; vol. 9764).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Towards flexible parsing of structured textual model representations

      Kolovos, D. S., Matragkas, N. & García-Domínguez, A., 2 Oct 2016, FlexMDE 2016 : Flexible Model Driven Engineering: Proceedings of the 2nd Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016). di Ruscio, D., de Lara, J. & Pierantonio, A. (eds.). CEUR-WS.org, p. 22-31 10 p. (CEUR Workshop Proceedings; vol. 1694).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Two case studies on generating administrative process applications with AdminDSL

      García-Domínguez, A., Jerez-Ibáñez, I. & Medina-Bulo, I., 14 Jun 2016, Business Modeling and Software Design: 5th International Symposium, BMSD 2015, Milan, Italy, July 6–8, 2015, Revised selected papers. Shishkov, B. (ed.). Cham (CH): Springer, p. 96-116 21 p. (Lecture Notes in Business Information Processing; vol. 257).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • 2015

      Domain-specific language for generating administrative process applications

      Jerez-Ibáñez, I., Medina-Bulo, I. & García-Domínguez, A., 2015, roceedings of the Fifth International Symposium on Business Modeling and Software Design. SciTePress, Vol. 1. p. 178-183 6 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • 2014

      A framework for genetic test-case generation for WS-BPEL compositions

      Estero-Botaro, A., García-Domínguez, A., Domínguez-Jiménez, J. J., Palomo-Lozano, F. & Medina-Bulo, I., 2014, Testing software and systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings. Merayo, M. G. & Montes de Oca, E. (eds.). Berlin (DE): Springer, Vol. 8763. p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 8763 ).

      Research output: Chapter in Book/Published conference outputConference publication

    • Towards an integrated SOA-based architecture for interoperable and responsive manufacturing systems using the ISA-95 object model

      García-Domínguez, A., Marcos-Bárcena, M., Medina-Bulo, I. & Prades, L., 2014, Advances in manufacturing systems: MESIC V. Aguilar Martín, J. J. & Yagüe Fabra, J. A. (eds.). Trans Tech Publications, p. 145-156 12 p. (Key Engineering Materials; vol. 615).

      Research output: Chapter in Book/Published conference outputConference publication

    • 2013

      An approach for model-driven design and generation of performance test cases with UML and MARTE

      García-Domínguez, A., Medina-Bulo, I. & Marcos-Bárcena, M., 2013, Software and Data Technologies: 6th International Conference, ICSOFT 2011 Seville, Spain, July 18-21, 2011 Revised Selected Papers. Escalona, M. J., Cordeiro, J. & Shishkov, B. (eds.). Berlin (DE): Springer, p. 136-150 15 p. (Communications in Computer and Information Science; vol. 303).

      Research output: Chapter in Book/Published conference outputConference publication

    • 2012

      A comparison of BPMN 2.0 with other notations for manufacturing processes

      García-Domínguez, A., Marcos, M. & Medina, I., 6 Jul 2012, 4th Manufacturing Engineering Society International Conference, MESIC 2011. AIP, Vol. 1431. p. 593-600 8 p. ( AIP Conference Proceedings; vol. 1431).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • A Comparison of BPMN 2.0 with other notations for manufacturing processes

      García-Domínguez, A., Marcos, M. & Medina, I., 23 Feb 2012, Advances in Manufacturing Systems. p. 1-6 6 p. (Key Engineering Materials; vol. 502).

      Research output: Chapter in Book/Published conference outputConference publication

    • Competitive evaluation in a video game development course

      Palomo-Duarte, M., Dodero, J. M., Tocino, J. T., García-Domínguez, A. & Balderas, A., 20 Aug 2012, ITiCSE'12 - Proceedings of the ACM Conference on Innovation and Technology in Computer Science Education. p. 321-326 6 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • Computer-supported assessment of wikis in higher education: Two case studies

      Palomo-Duarte, M., Manuel-Dodero, J., Garcia-Dominguez, A., Neira-Ayuso, P., Sales-Montes, N., Medina-Bulo, I., Palomo-Lozano, F., Castro-Cabrera, C. & Rodriguez-Posada, E. J., 1 Dec 2012, 2012 International Symposium on Computers in Education, SIIE 2012. 6403180

      Research output: Chapter in Book/Published conference outputConference publication

    • 2011

      Analogies and differences between mutation operators for WS-BPEL 2.0 and other languages

      Boubeta-Puig, J., Medina-Bulo, I. & García-Domínguez, A., 18 Aug 2011, Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011. p. 398-407 10 p. 5954439

      Research output: Chapter in Book/Published conference outputConference publication

    • EUnit: A unit testing framework for model management tasks

      García-Domínguez, A., Kolovos, D. S., Rose, L. M., Paige, R. F. & Medina-Bulo, I., 19 Oct 2011, Model Driven Engineering Languages and Systems - 14th International Conference, MODELS 2011, Proceedings. p. 395-409 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6981 LNCS).

      Research output: Chapter in Book/Published conference outputConference publication

    • Model-driven design of performance requirements

      García-Domínguez, A., Medina-Bulo, I. & Marcos-Bárcena, M., 26 Sep 2011, Proceedings - 11th International Conference on Quality Software, QSIC 2011. p. 76-85 10 p. 6004314

      Research output: Chapter in Book/Published conference outputConference publication

    • Model-driven design of performance requirements with UML and MARTE

      García-Domínguez, A., Medina-Bulo, I. & Marcos-Bárcena, M., 14 Sep 2011, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies. Vol. 2. p. 54-63 10 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • Towards higher-order mutant generation for WS-BPEL

      Blanco-Muñoz, E., García-Domínguez, A., Domínguez-Jiménez, J. J. & Medina-Bulo, I., 12 Sep 2011, ICE-B 2011 - Proceedings of the International Conference on e-Business. p. 143-148 6 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • 2010

      GAmera: A tool for WS-BPEL composition testing using mutation analysis

      Domínguez-Jiménez, J. J., Estero-Botaro, A., García-Domínguez, A. & Medina-Bulo, I., 3 Aug 2010, Web Engineering - 10th International Conference, ICWE 2010, Proceedings. p. 490-493 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6189 LNCS).

      Research output: Chapter in Book/Published conference outputConference publication

    • Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation

      Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I., Alvarez-Ayllón, A. & Santacruz, J., 3 Aug 2010, Web Engineering - 10th International Conference, ICWE 2010, Proceedings. p. 531-534 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6189 LNCS).

      Research output: Chapter in Book/Published conference outputConference publication

    • 2009

      Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information

      Palomo-Duarte, M., García-Domínguez, A. & Medina-Bulo, I., 27 Oct 2009, Web Engineering - 9th International Conference, ICWE 2009, Proceedings. Springer, p. 469-472 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5648 LNCS).

      Research output: Chapter in Book/Published conference outputConference publication

    • GAmera: An automatic mutant generation system for WS-BPEL compositions

      Domínguez-Jiménez, J. J., Estero-Botaro, A., García-Domínguez, A. & Medina-Bulo, I., 1 Dec 2009, ECOWS'09 - 7th IEEE European Conference on Web Services. p. 97-106 10 p. 5341664

      Research output: Chapter in Book/Published conference outputConference publication

    • Hypertext navigation of ACL2 proofs with XMLEye

      García-Domínguez, A., Palomo-Lozano, F. & Medina-Bulo, I., 1 Dec 2009, ACL2 '09 - Proceedings of the 8th International Workshop on the ACL2 Theorem Prover and its Applications. ACM, p. 47-56 10 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • Proposal of a methodology for implementing a service-oriented architecture in distributed manufacturing systems

      Medina, I., Garcia-Dominguez, A., Aguayo, F., Sevilla, L. & Marcos, M., 28 Dec 2009, Third Manufacturing Engineering Society International Conference, MESIC 2009. Vol. 1181. p. 622-632 11 p. ( AIP Conference Proceedings; vol. 1181).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • 2008

      Improving Takuan to analyze a meta-search engine WS-BPEL composition

      Palomo-Duarte, M., García-Domínguez, A. & Medina-Bulo, I., 1 Dec 2008, Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008. p. 109-114 6 p. 4730472

      Research output: Chapter in Book/Published conference outputConference publication

    • Takuan: A dynamic invariant generation system for WS-BPEL compositions

      Palonio-Duarte, M., García-Domínguez, A. & Medina-Bulo, I., 1 Dec 2008, Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08. p. 63-72 10 p. 4711650

      Research output: Chapter in Book/Published conference outputConference publication

    Your message has successfully been sent.
    Your message was not sent due to an error.