Следене
Antonio García-Domínguez
Заглавие
Позовавания
Позовавания
Година
Eugenia: towards disciplined and automated development of GMF-based graphical model editors
DS Kolovos, A García-Domínguez, LM Rose, RF Paige
Software & Systems Modeling 16, 229-255, 2017
842017
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
822011
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
722017
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
692009
Defining a methodology to design and implement business process models in BPMN according to the standard ANSI/ISA-95 in a manufacturing enterprise
L Prades, F Romero, A Estruch, A García-Domínguez, J Serrano
Procedia Engineering 63, 115-122, 2013
592013
EUnit: a unit testing framework for model management tasks
A García-Domínguez, DS Kolovos, LM Rose, RF Paige, I Medina-Bulo
Model Driven Engineering Languages and Systems: 14th International …, 2011
552011
The epsilon book (2010)
D Kolovos, L Rose, A García-Domínguez, R Paige
472012
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
402014
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
352012
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
332015
Evolutionary mutation testing for IoT with recorded and generated events
L Gutiérrez‐Madroñal, A García‐Domínguez, I Medina‐Bulo
Software: Practice and Experience 49 (4), 640-672, 2019
262019
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, 137-148, 2015
262015
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
262011
Querying and annotating model histories with time-aware patterns
A García-Domínguez, N Bencomo, JM Parra-Ullauri, LH García-Paucar
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
232019
Partial loading of XMI models
R Wei, DS Kolovos, A Garcia-Dominguez, K Barmpis, RF Paige
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
212016
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
212008
A framework for genetic test-case generation for WS-BPEL compositions
A Estero-Botaro, A García-Domínguez, JJ Domínguez-Jiménez, ...
Testing Software and Systems: 26th IFIP WG 6.1 International Conference …, 2014
202014
Temporal models for history-aware explainability
JM Parra-Ullauri, A García-Domínguez, LH García-Paucar, N Bencomo
Proceedings of the 12th system analysis and modelling conference, 155-164, 2020
172020
MuBPEL: una herramienta de mutación firme para WS-BPEL 2.0
A García-Domínguez, A Estero-Botaro, JJ Domínguez-Jiménez, ...
XVI JISBD, 2012
162012
Event-driven temporal models for explanations-ETeMoX: explaining reinforcement learning
JM Parra-Ullauri, A García-Domínguez, N Bencomo, C Zheng, C Zhen, ...
Software and Systems Modeling 21 (3), 1091-1113, 2022
152022
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20