Publicaciones (442) Publicaciones en las que ha participado algún/a investigador/a

2024

  1. Coverage visualization and analysis of net inscriptions in coloured Petri net models

    Innovations in Systems and Software Engineering, Vol. 20, Núm. 1, pp. 17-30

2023

  1. Automated engineering of domain-specific metamorphic testing environments

    Information and Software Technology, Vol. 157

  2. Computing performance requirements for web service compositions

    Computer Standards and Interfaces, Vol. 83

  3. 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

  4. Heuristics for Quantum Computing Dealing with 3-SAT

    Mathematics, Vol. 11, Núm. 8

  5. Implementation relations and testing for cyclic systems: Adding probabilities

    Robotics and Autonomous Systems, Vol. 165

  6. Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks

    Communications in Computer and Information Science

  7. Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model

    Engineering Applications of Artificial Intelligence, Vol. 121

  8. Machine learning algorithms to forecast air quality: a survey

    Artificial Intelligence Review, Vol. 56, Núm. 9, pp. 10031-10066

  9. Metamorphic testing of chess engines

    Information and Software Technology, Vol. 162

  10. Parallel mutation testing for large scale systems

    Cluster Computing

  11. Preface

    Communications in Computer and Information Science

  12. Preface

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

  13. Requirements Elicitation Based on Psycho-Pedagogical Theatre for Context-Sensitive Affective Educational Recommender Systems

    IEEE Access, Vol. 11, pp. 76284-76299

  14. SaNDA: A small and iNcomplete dataset analyser

    Information Sciences, Vol. 640

  15. Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures

    Journal of Cloud Computing, Vol. 12, Núm. 1

  16. Squeeziness for non-deterministic systems

    Information and Software Technology, Vol. 158

  17. Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap

    IEEE Transactions on Software Engineering, Vol. 49, Núm. 2, pp. 549-563

2022

  1. Adaptative Systems Based on Continuous Observation of Petri Net Product Lines

    CEUR Workshop Proceedings

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

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