Cerro Cañizares, Pablo pablo.cerro@uam.es

Publications

Chaos as a Software Product Line—A platform for improving open hybrid-cloud systems resiliency

  • Camacho C
  • Cañizares PC
  • Llana L
  • Núñez A

Software-Practice & Experience (p. 1581-1614) - 1/7/2022

10.1002/spe.3076 View at source

  • ISSN 1097024X

Profiling SLAs for cloud system infrastructures and user interactions

  • Cambronero, M. Emilia
  • Bernal, Adrian
  • Valero, Valentin
  • Canizares, Pablo C.
  • Nunez, Alberto;

PEERJ COMPUTER SCIENCE (p. 1-37) - 1/1/2021

10.7717/peerj-cs.513 View at source

  • ISSN 23765992

Fortifier: A formal distributed framework to improve the detection of threatening objects in baggage

  • Cañizares PC
  • Merayo MG
  • Núñez A

Journal of Information and Telecommunication (p. 2-18) - 1/1/2018

10.1080/24751839.2017.1347766 View at source

  • ISSN 24751839

MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems

  • Cañizares P
  • Núñez A
  • de Lara J
  • Llana L

JOURNAL OF SYSTEMS AND SOFTWARE - 1/5/2020

10.1016/j.jss.2020.110522 View at source

  • ISSN 01641212

Mutomvo: Mutation testing framework for simulated cloud and HPC environments

  • Canizares, Pablo C
  • Nunez, Alberto
  • Merayo, Mercedes G

JOURNAL OF SYSTEMS AND SOFTWARE (p. 187-207) - 1/9/2018

10.1016/j.jss.2018.05.010 View at source

  • ISSN 01641212

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 View at source

  • ISSN 09208542

Evaluating cloud interactions with costs and SLAs

  • Bernal A
  • Cambronero ME
  • Núñez A
  • Cañizares PC
  • Valero V

JOURNAL OF SUPERCOMPUTING (p. 7529-7555) - 1/4/2022

10.1007/s11227-021-04197-2 View at source

  • ISSN 09208542

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 View at source

  • ISSN 10641246

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 View at source

  • ISSN 09505849

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 View at source

  • ISSN 00189529

This researcher has no books.

This researcher has no book chapters.

Automating the measurement of heterogeneous chatbot designs

  • Cañizares PC
  • Pérez-Soler S
  • Guerra E
  • De Lara J

Proceedings of the ACM Symposium on Applied Computing (p. 1491-1498) - 25/4/2022

10.1145/3477314.3507255 View at source

Studying the impact of the user subscription times in different cloud configurations

  • de la Cruz HI
  • Cambronero ME
  • Valero V
  • Cañizares PC
  • Bernal A
  • Núñez A

Proceedings Of The International Conference On Software Engineering And Knowledge Engineering, Seke (p. 211-216) - 1/1/2021

10.18293/seke2021-095 View at source

  • ISSN 23259000

MAGICIAN: Model-based design for optimizing the configuration of data-centers

  • Cañizares P
  • Núñez A
  • De Lara J

Proceedings Of The International Conference On Software Engineering And Knowledge Engineering, Seke (p. 602-607) - 1/1/2017

10.18293/seke2017-108 View at source

  • ISSN 23259000

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 View at source

  • ISSN 02705257

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

10.1145/3524846.3527342 View at source

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
... View more Collapse

Proceedings - 25th Acm/Ieee International Conference On Model Driven Engineering Languages And Systems, Models 2022 (p. 109-120) - 23/10/2022

10.1145/3550355.3552451 View at source

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 View at source

  • ISSN 18770509

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 View at source

  • ISSN 18770509

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
... View more Collapse

Lecture Notes In Computer Science (p. 367-374) - 1/1/2018

10.1007/978-3-319-74730-9_32 View at source

  • ISSN 03029743

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

10.1145/3560089.3560098 View at source

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

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

This researcher has no patents or software licenses.

Last data update: 3/18/24 12:38 PM