 | 2011 |
| 16 |  | Emma Blanco-Muñoz,
Antonio García-Domínguez,
Juan José Domínguez-Jiménez,
Inmaculada Medina-Bulo:
Towards Higher-order Mutant Generation for WS-BPEL.
ICE-B 2011: 143-148 |
| 15 |  | Antonio García-Domínguez,
Inmaculada Medina-Bulo,
Mariano Marcos-Bárcena:
Model-driven Design of Performance Requirements with UML and MARTE.
ICSOFT (2) 2011: 54-63 |
| 14 |  | Antonio García-Domínguez,
Dimitrios S. Kolovos,
Louis M. Rose,
Richard F. Paige,
Inmaculada Medina-Bulo:
EUnit: A Unit Testing Framework for Model Management Tasks.
MoDELS 2011: 395-409 |
| 13 |  | Antonio García-Domínguez,
Inmaculada Medina-Bulo,
Mariano Marcos-Bárcena:
Model-Driven Design of Performance Requirements.
QSIC 2011: 76-85 |
| 12 |  | Louis M. Rose,
Antonio García-Domínguez,
James R. Williams,
Dimitrios S. Kolovos,
Richard F. Paige,
Fiona A. C. Polack:
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case
TTC 2011: 332-339 |
| 11 |  | Juan José Domínguez-Jiménez,
Antonia Estero-Botaro,
Antonio García-Domínguez,
Inmaculada Medina-Bulo:
Evolutionary mutation testing.
Information & Software Technology 53(10): 1108-1123 (2011) |
| 2010 |
| 10 |  | Juan José Domínguez-Jiménez,
Antonia Estero-Botaro,
Antonio García-Domínguez,
Inmaculada Medina-Bulo:
GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis.
ICWE 2010: 490-493 |
| 9 |  | Manuel Palomo-Duarte,
Antonio García-Domínguez,
Inmaculada Medina-Bulo,
Alejandro Álvarez-Ayllón,
Javier Santacruz:
Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation.
ICWE 2010: 531-534 |
| 8 |  | Antonio García-Domínguez,
Inmaculada Medina-Bulo,
Mariano Marcos-Bárcena:
SODM+T: Inferencia de restricciones de rendimiento.
JISBD 2010: 103-106 |
| 7 |  | Juan José Domínguez-Jiménez,
Antonia Estero-Botaro,
Antonio García-Domínguez,
Inmaculada Medina-Bulo:
Mutación evolutiva.
JISBD 2010: 281-292 |
| 2009 |
| 6 |  | Juan José Domínguez-Jiménez,
Antonia Estero-Botaro,
Antonio García-Domínguez,
Inmaculada Medina-Bulo:
GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions.
ECOWS 2009: 97-106 |
| 5 |  | Manuel Palomo-Duarte,
Antonio García-Domínguez,
Inmaculada Medina-Bulo:
Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information.
ICWE 2009: 469-472 |
| 4 |  | Manuel Palomo-Duarte,
Antonio García-Domínguez,
Alejandro Álvarez-Ayllón,
Inmaculada Medina-Bulo:
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL.
JISBD 2009: 367-370 |
| 2008 |
| 3 |  | Manuel Palomo-Duarte,
Antonio García-Domínguez,
Inmaculada Medina-Bulo:
Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions.
ECOWS 2008: 63-72 |
| 2 |  | Manuel Palomo-Duarte,
Antonio García-Domínguez,
Inmaculada Medina-Bulo:
An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions.
ICE-B 2008: 37-44 |
| 1 |  | Manuel Palomo-Duarte,
Antonio García-Domínguez,
Inmaculada Medina-Bulo:
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition.
SOSE 2008: 109-114 |