Publications by the researcher in collaboration with Juan de Lara Jaramillo (21)

2024

  1. Parallel mutation testing for large scale systems

    Cluster Computing, Vol. 27, Núm. 2, pp. 2071-2097

2023

  1. Automated engineering of domain-specific metamorphic testing environments

    Information and Software Technology, Vol. 157

  2. Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments

    Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023

  3. Lifted structural invariant analysis of Petri net product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 130

2022

  1. Analysing Product Lines of Concurrent Systems with Coloured Petri Nets

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  2. Analyzing the reliability of simulated distributed systems using Metamorphic Testing

    Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022

  3. CloudExpert: An intelligent system for selecting cloud system simulators

    Expert Systems with Applications, Vol. 187

2021

  1. Extensible Structural Analysis of Petri Net Product Lines

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. New ideas: Automated engineering of metamorphic testing environments for domain-specific languages

    SLE 2021 - Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2021

  3. Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]

2020

  1. Automated variability injection for graphical modelling languages

    GPCE 2020 - Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with SPLASH 2020

  2. MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems

    Journal of Systems and Software, Vol. 163

  3. Seed Model Synthesis for Testing Model-Based Mutation Operators

    Lecture Notes in Business Information Processing

  4. Systematic Engineering of Mutation Operators

    Journal of Object Technology, Vol. 19, Núm. 3, pp. 1-15

2019

  1. Formal support of process chain networks using model-driven engineering and petri nets

    Proceedings of the ACM Symposium on Applied Computing

  2. Mutation testing for DSLs (Tool demo)

    DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019

  3. Towards extensible structural analysis of petri net product lines

    CEUR Workshop Proceedings

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

  2. A tool for domain-independent model mutation

    Science of Computer Programming, Vol. 163, pp. 85-92

  3. Towards a model-driven engineering solution for language independent mutation testing

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018