Antonio García-Domínguez

According to our database1, Antonio García-Domínguez authored at least 48 papers between 2008 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Evolutionary mutation testing for IoT with recorded and generated events.
Softw., Pract. Exper., 2019

Stress-testing remote model querying APIs for relational and graph-based stores.
Software and Systems Modeling, 2019

Scaling-up domain-specific modelling languages through modularity services.
Information & Software Technology, 2019

Towards History-Aware Self-Adaptation with Explanation Capabilities.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Evaluation of Five Classifiers for Children Activity Recognition with Sound as Information Source and Akaike Criterion for Feature Selection.
Proceedings of the Pattern Recognition - 11th Mexican Conference, 2019

Using constraint solvers to support metamorphic testing.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018
Hawk Solutions to the TTC 2018 Social Media Case.
Proceedings of the 11th Transformation Tool Contest, 2018

Integration of Hawk for Model Metrics in the MEASURE Platform.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Reflecting on the past and the present with temporal graph-based models.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).
Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017
Eugenia: towards disciplined and automated development of GMF-based graphical model editors.
Software and Systems Modeling, 2017

Reconocimiento de actividades infantiles utilizando sonido ambiental: Un enfoque preliminar.
Research in Computing Science, 2017

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184].
Information & Software Technology, 2017

Assessment of class mutation operators for C++ with the MuCPP mutation system.
Information & Software Technology, 2017

Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation.
Proceedings of the Software Technologies: Applications and Foundations, 2017

GiGAn: evolutionary mutation testing for C++ object-oriented systems.
Proceedings of the Symposium on Applied Computing, 2017

2016
MONDO: Scalable Modelling and Model Management on the Cloud.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Partial loading of XMI models.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Towards Flexible Parsing of Structured Textual Model Representations.
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), 2016

Integration of a graph-based model indexer in commercial modelling tools.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Models from Code, or Code as Models?
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Stress-Testing Centralised Model Stores.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015
Quality metrics for mutation testing with applications to WS-BPEL compositions.
Softw. Test., Verif. Reliab., 2015

Class mutation operators for C++ object-oriented systems.
Annales des Télécommunications, 2015

Two Case Studies on Generating Administrative Process Applications with AdminDSL.
Proceedings of the Business Modeling and Software Design - 5th International Symposium, 2015

2014
Automatic dynamic generation of likely invariants for WS-BPEL compositions.
Expert Syst. Appl., 2014

Betting system for formative code review in educational competitions.
Expert Syst. Appl., 2014

Scalability of assessments of wiki-based learning experiences in higher education.
Computers in Human Behavior, 2014

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.
Proceedings of the Testing Software and Systems, 2014

2012
Competitive evaluation in a video game development course.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011
Evolutionary mutation testing.
Information & Software Technology, 2011

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Model-Driven Design of Performance Requirements.
Proceedings of the 11th International Conference on Quality Software, 2011

EUnit: A Unit Testing Framework for Model Management Tasks.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE.
Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Model-driven Design of Performance Requirements with UML and MARTE.
Proceedings of the ICSOFT 2011, 2011

Towards Higher-order Mutant Generation for WS-BPEL.
Proceedings of the ICE-B 2011, 2011

2010
Mutación evolutiva.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

SODM+T: Inferencia de restricciones de rendimiento.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation.
Proceedings of the Web Engineering, 10th International Conference, 2010

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis.
Proceedings of the Web Engineering, 10th International Conference, 2010

2009
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information.
Proceedings of the Web Engineering, 9th International Conference, 2009

GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions.
Proceedings of the ICE-B 2008, 2008

Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions.
Proceedings of the ECOWS 2008, 2008


  Loading...