Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
ALFREDO
IBIAS MARTÍNEZ
Investigador en el periodo 2020-2022
Publicaciones en las que colabora con ALFREDO IBIAS MARTÍNEZ (13)
2023
-
Computing performance requirements for web service compositions
Computer Standards and Interfaces, Vol. 83
-
Metamorphic testing of chess engines
Information and Software Technology, Vol. 162
-
Squeeziness for non-deterministic systems
Information and Software Technology, Vol. 158
2022
-
Using Ant Colony Optimisation to Select Features Having Associated Costs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using Deep Learning to Detect Anomalies in Traffic Flow
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
SqSelect: Automatic assessment of Failed Error Propagation in state-based systems
Expert Systems with Applications, Vol. 174
-
Using mutual information to test from Finite State Machines: Test suite selection
Information and Software Technology, Vol. 132
2020
-
Estimating fault masking using squeeziness based on Rényi's entropy
Proceedings of the ACM Symposium on Applied Computing
-
Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing
2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings
-
Using a swarm to detect hard-to-kill mutants
IEEE Transactions on Systems, Man, and Cybernetics: Systems
2019
-
GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Grammar-based tree swarm optimization
Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
-
Using Squeeziness to test component-based systems defined as Finite State Machines
Information and Software Technology, Vol. 112, pp. 132-147