Design and Testing of Reliable Systems
Publikationen (444) Publikationen, an denen Forscher/innen teilgenommen haben
2024
-
Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap
IEEE Transactions on Reliability
-
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
-
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
PeerJ Computer Science, Vol. 10
2023
-
Automated engineering of domain-specific metamorphic testing environments
Information and Software Technology, Vol. 157
-
Computing performance requirements for web service compositions
Computer Standards and Interfaces, Vol. 83
-
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
-
Heuristics for Quantum Computing Dealing with 3-SAT
Mathematics, Vol. 11, Núm. 8
-
Implementation relations and testing for cyclic systems: Adding probabilities
Robotics and Autonomous Systems, Vol. 165
-
Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks
Communications in Computer and Information Science
-
Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model
Engineering Applications of Artificial Intelligence, Vol. 121
-
Machine learning algorithms to forecast air quality: a survey
Artificial Intelligence Review, Vol. 56, Núm. 9, pp. 10031-10066
-
Metamorphic testing of chess engines
Information and Software Technology, Vol. 162
-
Parallel mutation testing for large scale systems
Cluster Computing
-
Preface
Communications in Computer and Information Science
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Requirements Elicitation Based on Psycho-Pedagogical Theatre for Context-Sensitive Affective Educational Recommender Systems
IEEE Access, Vol. 11, pp. 76284-76299
-
SaNDA: A small and iNcomplete dataset analyser
Information Sciences, Vol. 640
-
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures
Journal of Cloud Computing, Vol. 12, Núm. 1
-
Squeeziness for non-deterministic systems
Information and Software Technology, Vol. 158
-
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap
IEEE Transactions on Software Engineering, Vol. 49, Núm. 2, pp. 549-563