All Stories

  1. Eugenia: towards disciplined and automated development of GMF-based graphical model editors

    Article • Software & Systems Modeling, February 2015, Springer Science + Business Media

    Dr Antonio Garcia-Dominguez

  2. Automatic dynamic generation of likely invariants for WS-BPEL compositions

    Article • Expert Systems with Applications, September 2014, Elsevier

    Dr Antonio Garcia-Dominguez

  3. Towards an Integrated SOA-Based Architecture for Interoperable and Responsive Manufacturing Systems Using the ISA-95 Object Model

    Article • Key Engineering Materials, June 2014, Trans Tech Publications

    Dr Antonio Garcia-Dominguez, Dr Mariano Marcos

  4. Quality metrics for mutation testing with applications to WS-BPEL compositions

    Article • Software Testing Verification and Reliability, May 2014, Wiley

    Dr Antonio Garcia-Dominguez, Dr Antonia Estero-Botaro

  5. Betting system for formative code review in educational competitions

    Article • Expert Systems with Applications, April 2014, Elsevier

    Dr Antonio Garcia-Dominguez, Juan Manuel Dodero

  6. Scalability of assessments of wiki-based learning experiences in higher education

    Article • Computers in Human Behavior, February 2014, Elsevier

    Dr Antonio Garcia-Dominguez, Juan Manuel Dodero

  7. A Framework for Genetic Test-Case Generation for WS-BPEL Compositions

    Article • January 2014, Springer Science + Business Media

    Dr Antonio Garcia-Dominguez

  8. An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE

    Article • January 2013, Springer Science + Business Media

    Dr Antonio Garcia-Dominguez, Dr Mariano Marcos

  9. Competitive evaluation in a video game development course

    Article • January 2012, ACM (Association for Computing Machinery)

    Dr Antonio Garcia-Dominguez

  10. Model-Driven Design of Performance Requirements

    Article • July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Antonio Garcia-Dominguez, Dr Mariano Marcos

  11. Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages

    Article • March 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Antonio Garcia-Dominguez, Dr. Juan Boubeta-Puig

  12. EUnit: A Unit Testing Framework for Model Management Tasks

    Article • January 2011, Springer Science + Business Media

    Dr Antonio Garcia-Dominguez

  13. GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis

    Article • January 2010, Springer Science + Business Media

    Dr Antonio Garcia-Dominguez

  14. Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation

    Article • January 2010, Springer Science + Business Media

    Dr Antonio Garcia-Dominguez

  15. GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions

    Article • November 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Antonio Garcia-Dominguez

  16. Hypertext navigation of ACL2 proofs with XMLEye

    Article • January 2009, ACM (Association for Computing Machinery)

    Dr Antonio Garcia-Dominguez

  17. Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information

    Article • January 2009, Springer Science + Business Media

    Dr Antonio Garcia-Dominguez

  18. Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition

    Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Antonio Garcia-Dominguez

  19. Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions

    Article • November 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Antonio Garcia-Dominguez