Cerro Cañizares, Pablo pablo.cerro@uam.es
Actividades
- Artículos 15
- Libros 0
- Capítulos de libro 0
- Congresos 13
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 1
- Patentes o licencias de software 0
Parallel mutation testing for large scale systems
- Cañizares PC
- Núñez A
- Filgueira R
- de Lara J
Cluster Computing-The Journal Of Networks Software Tools And Applications - 1/1/2023
10.1007/s10586-023-04074-y Ver en origen
- ISSN 13867857
SINPA: SupportINg the automation of construction PlAnning
- Canizares, Pablo C.
- Estevez-Martin, Sonia
- Nunez, Manuel;
EXPERT SYSTEMS WITH APPLICATIONS - 15/3/2022
10.1016/j.eswa.2021.116149 Ver en origen
- ISSN 09574174
CloudExpert: An intelligent system for selecting cloud system simulators
- Núñez A
- Cañizares PC
- de Lara J
EXPERT SYSTEMS WITH APPLICATIONS - 1/1/2022
10.1016/j.eswa.2021.115955 Ver en origen
- ISSN 09574174
An expert system for checking the correctness of memory systems using simulation and metamorphic testing
- Cañizares P
- Núñez A
- de Lara J
Expert Systems With Applications (p. 44-62) - 15/10/2019
10.1016/j.eswa.2019.04.070 Ver en origen
- ISSN 09574174
Analyzing the Cloud Performance Using Different User Subscription Times
- Bernal A
- Cambronero ME
- Cañizares PC
- Núñez A
- Valero V
- De La Cruz HI
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING (p. 1699-1720) - 1/12/2021
10.1142/s0218194021400180 Ver en origen
- ISSN 02181940
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
- Nunez A
- Canizares PC
- Nunez M
- Hierons RM
Ieee Transactions On Reliability (p. 261-284) - 1/3/2021
10.1109/tr.2020.3011512 Ver en origen
- ISSN 00189529
Automated engineering of domain-specific metamorphic testing environments
- Gómez-Abajo, P
- Cañizares, PC
- Núñez, A
- Guerra, E
- de Lara, J
Information And Software Technology - 1/5/2023
10.1016/j.infsof.2023.107164 Ver en origen
- ISSN 09505849
LAnt: Model driven approach for ant colony optimization
- Canizares, Pablo C
- Merayo, Mercedes G
- Vara, Juan M
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS (p. 1343-1351) - 1/1/2017
10.3233/jifs-169132 Ver en origen
- ISSN 10641246
Improving cloud architectures using UML profiles and M2T transformation techniques
- Bernal, Adrian
- Emilia Cambronero, M
- Nunez, Alberto
- Canizares, Pablo C
- Valero, Valentin
JOURNAL OF SUPERCOMPUTING (p. 8012-8058) - 1/12/2019
10.1007/s11227-019-02980-w Ver en origen
- ISSN 09208542
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests
- Cañizares P
- Núñez A
- Merayo M
- Núñez M
2017 2nd Ieee International Conference On Computational Intelligence And Applications, Iccia 2017 (p. 577-581) - 4/12/2017
A multi-agent system architecture for statistics managing and soccer forecasting
- Cañizares P
- Merayo M
- Núñez M
- Suárez-Paniagua V
2017 2nd Ieee International Conference On Computational Intelligence And Applications, Iccia 2017 (p. 572-576) - 4/12/2017
ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers
- Bernal A
- Canizares PC
- Nunez A
- Cambronero ME
- Valero V
2022 4th International Conference on Computer Communication and the Internet, ICCCI 2022 (p. 7-13) - 1/1/2022
Validating communication network configurations in cloud and HPC systems using Metamorphic Testing
- Cañizares PC
- Pérez M
- Núñez A
- Filgueira R
ACM International Conference Proceeding Series (p. 55-62) - 7/8/2022
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
- Albert E
- Cañizares P
- Guerra E
- de Lara J
- Marcos E
- Núñez M
- Román-Díez G
- Vara J
- Zanardini D
Lecture Notes In Computer Science (p. 367-374) - 1/1/2018
10.1007/978-3-319-74730-9_32 Ver en origen
- ISSN 03029743
OUTRIDER: Optimizing the mutation Testing pRocess In Distributed EnviRonments
- Canizares, Pablo C.
- Nunez, Alberto
- de Tiara, Juan;
Procedia Computer Science (p. 505-514) - 1/1/2017
10.1016/j.procs.2017.05.095 Ver en origen
- ISSN 18770509
EMINENT: Embarrassingly parallel mutation testing
- Cañizares P
- Merayo M
- Núñez A
Procedia Computer Science (p. 63-73) - 1/1/2016
10.1016/j.procs.2016.05.298 Ver en origen
- ISSN 18770509
Automatic test amplification for executable models
- Khorram F
- Bousse E
- Mottu JM
- Sunyé G
- Gómez-Abajo P
- Cañizares PC
- Guerra E
- De Lara J
Proceedings - 25th Acm/Ieee International Conference On Model Driven Engineering Languages And Systems, Models 2022 (p. 109-120) - 23/10/2022
Analyzing the reliability of simulated distributed systems using Metamorphic Testing
- Nunez A
- Canizares PC
- Gomez-Abajo P
- Guerra E
- De Lara J
Proceedings - 7th International Workshop On Metamorphic Testing, Met 2022 (p. 34-41) - 1/1/2022
Asymob: a platform for measuring and clustering chatbots
- Lopez-Morales JM
- Canizares PC
- Perez-Soler S
- Guerra E
- De Lara J
Proceedings - International Conference On Software Engineering (p. 16-20) - 1/1/2022
10.1109/icse-companion55297.2022.9793784 Ver en origen
- ISSN 02705257
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Este/a investigador/a no tiene proyectos de investigación.
Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing
- CERRO CAÑIZARES, PABLO (Autor o Coautor)
- Juan de Lara Jaramillo (Director)
- Alberto Núñez Covarrubias (Director) Doctorando: Pablo Cerro Cañizares
1/1/2020
- iMarina
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
-
Modelado E Ingeniería Del Software
Rol: Miembro
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID
-
Dialnet id