Informática
Facultad
Juan de
Lara Jaramillo
Publicaciones en las que colabora con Juan de Lara Jaramillo (21)
2024
-
Parallel mutation testing for large scale systems
Cluster Computing, Vol. 27, Núm. 2, pp. 2071-2097
2023
-
Automated engineering of domain-specific metamorphic testing environments
Information and Software Technology, Vol. 157
-
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
-
Lifted structural invariant analysis of Petri net product lines
Journal of Logical and Algebraic Methods in Programming, Vol. 130
2022
-
Analysing Product Lines of Concurrent Systems with Coloured Petri Nets
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
-
Analyzing the reliability of simulated distributed systems using Metamorphic Testing
Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022
-
CloudExpert: An intelligent system for selecting cloud system simulators
Expert Systems with Applications, Vol. 187
2021
-
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)
-
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
-
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
-
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
-
MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems
Journal of Systems and Software, Vol. 163
-
Seed Model Synthesis for Testing Model-Based Mutation Operators
Lecture Notes in Business Information Processing
-
Systematic Engineering of Mutation Operators
Journal of Object Technology, Vol. 19, Núm. 3, pp. 1-15
2019
-
Formal support of process chain networks using model-driven engineering and petri nets
Proceedings of the ACM Symposium on Applied Computing
-
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
-
Towards extensible structural analysis of petri net product lines
CEUR Workshop Proceedings
2018
-
MoDeVVa 2018 15
th
workshop on model-driven engineering, verification and validation
CEUR Workshop Proceedings
-
A tool for domain-independent model mutation
Science of Computer Programming, Vol. 163, pp. 85-92
-
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