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.

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

43 Conference publication
18 Article
8 Conference article
4 Unpublished Conference Paper
More

43 results

Filter

2021
From a Series of (Un)fortunate Events to Global Explainability of Runtime Model-Based Self-Adaptive Systems
Parra-Ullauri, J. M., Garcia-Dominguez, A. & Bencomo, N., 20 Dec 2021, 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, p. 807-816 10 p.
Research output: Chapter in Book/Published conference output › Conference publication
Preface to the 1st International Hands-on Workshop on Collaborative Modeling (HoWCoM 2021)
David, I., Syriani, E. & Garcia-Dominguez, A., 20 Dec 2021, 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2 p.
Research output: Chapter in Book/Published conference output › Conference publication
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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference 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 output › Conference publication

Antonio García Domínguez

Research output

Search results