Design and Testing of Reliable Systems
Universidad de Cádiz
Cádiz, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Cádiz (11)
2023
-
Computing performance requirements for web service compositions
Computer Standards and Interfaces, Vol. 83
2022
-
MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information
Journal of Universal Computer Science, Vol. 28, Núm. 5, pp. 445-474
2020
-
Mutation Operators for Google Query Language
Communications in Computer and Information Science
2019
-
Conformance Relations for Fuzzy Automata
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using Genetic Algorithms to Generate Test Suites for FSMs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Test suite minimization for mutation testing of WS-BPEL compositions
GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference
2017
-
A formal framework to specify and test systems with fuzzy-time information
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Analysis of temporal complex events in sensor networks
Journal of Information and Telecommunication, Vol. 1, Núm. 3, pp. 273-289
-
Using Evolutionary Mutation Testing to improve the quality of test suites
2017 IEEE Congress on Evolutionary Computation, CEC 2017 - Proceedings
-
Using evolutionary computation to improve mutation testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)