Design and Testing of Reliable Systems
Universidad Autónoma de Madrid
Madrid, EspañaPublicacions en col·laboració amb investigadors/es de Universidad Autónoma de Madrid (35)
2024
-
Coverage-based Strategies for the Automated Synthesis of Test Scenarios for Conversational Agents
Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024
-
Integrating Static Quality Assurance in CI Chatbot Development Workflows
IEEE Software, Vol. 41, Núm. 5, pp. 60-69
-
Measuring and Clustering Heterogeneous Chatbot Designs
ACM Transactions on Software Engineering and Methodology, Vol. 33, Núm. 4
-
Mutation Testing for Task-Oriented Chatbots
ACM International Conference Proceeding Series
-
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
-
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures
Journal of Cloud Computing, Vol. 12, Núm. 1
2022
-
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines
CEUR Workshop Proceedings
-
Asymob: a platform for measuring and clustering chatbots
Proceedings - International Conference on Software Engineering
-
Automatic test amplification for executable models
Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
-
Automating the measurement of heterogeneous chatbot designs
Proceedings of the ACM Symposium on Applied Computing
-
Chaos as a Software Product Line—A platform for improving open hybrid-cloud systems resiliency
Software - Practice and Experience, Vol. 52, Núm. 7, pp. 1581-1614
-
CloudExpert: An intelligent system for selecting cloud system simulators
Expert Systems with Applications, Vol. 187
-
Evaluating cloud interactions with costs and SLAs
Journal of Supercomputing, Vol. 78, Núm. 6, pp. 7529-7555
-
ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers
2022 4th International Conference on Computer Communication and the Internet, ICCCI 2022
-
SINPA: SupportINg the automation of construction PlAnning
Expert Systems with Applications, Vol. 190
-
Validating communication network configurations in cloud and HPC systems using Metamorphic Testing
ACM International Conference Proceeding Series
2021
-
Analyzing the Cloud Performance Using Different User Subscription Times
International Journal of Software Engineering and Knowledge Engineering, Vol. 31, Núm. 11-12, pp. 1699-1720
-
Mutation testing for robochart
Software Engineering for Robotics (Springer International Publishing), pp. 345-375