Documentos de Canizares P.C. | REDI

Regresar

Mostrando 7 resultados de: 7

Filtros aplicados

Palabras Claves: "Metamorphic testing"

Subtipo de publicación

Conference Object(1)

Publisher

Expert Systems with Applications(2)

Information and Software Technology(1)

Journal of Systems and Software(1)

Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022(1)

Proceedings 2023 ACM IEEE International Conference on Model Driven Engineering Languages and Systems Companion Models C 2023(1)

Área temáticas

Programación informática, programas, datos, seguridad(6)

Ciencias de la computación(5)

Métodos informáticos especiales(4)

Ingeniería y operaciones afines(1)

Área de conocimiento

Ingeniería de software(4)

Ciencias de la computación(2)

Simulación por computadora(2)

Computación en la nube(1)

Objetivos de Desarrollo Sostenible

ODS 17: Alianzas para lograr los objetivos(6)

ODS 9: Industria, innovación e infraestructura(6)

ODS 4: Educación de calidad(3)

ODS 8: Trabajo decente y crecimiento económico(2)

ODS 12: Producción y consumo responsables(1)

Año de Publicación

Origen

Palabras Claves

model-driven engineering(3)

Domain-Specific Languages(2)

CLOUD COMPUTING(1)

Cloud modelling(1)

Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments

Abstract: Testing is essential for assessing the correctness of software systems. Metamorphic testing (MT) is

Palabras claves:

Domain-Specific Languages, Metamorphic testing, model-driven engineering, Video streaming APIs

Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Núñez A.

New ideas: Automated engineering of metamorphic testing environments for domain-specific languages

Abstract: Two crucial aspects for the trustworthy utilization of domain-specific languages (DSLs) are their se

Palabras claves:

DSLs, Metamorphic testing, model-driven engineering, Sofware language engineering

Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Núñez A.

Automated engineering of domain-specific metamorphic testing environments

Abstract: Context: Testing is essential to improve the correctness of software systems. Metamorphic testing (M

Palabras claves:

CLOUD COMPUTING, Domain-Specific Languages, Metamorphic testing, model-driven engineering, simulation

Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Núñez A.

An expert system for checking the correctness of memory systems using simulation and metamorphic testing

Abstract: During the last few years, computer performance has reached a turning point where computing power is

Palabras claves:

Expert systems, Memory scheduling, Memory systems, Metamorphic testing, Mutation testing, simulation

Canizares P.C., Juan De Lara, Núñez A.

Analyzing the reliability of simulated distributed systems using Metamorphic Testing

Conference Object

Abstract: Simulation is widely adopted by the research community to analyze and study complex systems. It is b

Palabras claves:

Distributed Systems, Hpc, Metamorphic testing, simulation

Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Núñez A.

CloudExpert: An intelligent system for selecting cloud system simulators

Abstract: During the last decade, the research community has developed different simulation tools to model and

Palabras claves:

Cloud simulators, Cloud systems, Intelligent Systems, Metamorphic testing, simulation

Canizares P.C., Juan De Lara, Núñez A.

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

Abstract: Currently, using conventional techniques for checking and optimising the energy consumption in cloud

Palabras claves:

Cloud modelling, Energy-aware systems, Evolutionary algorithms, Metamorphic testing, simulation

Canizares P.C., Juan De Lara, Llana L., Núñez A.