Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
Information and Software Technology(1)
Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022(1)
Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022(1)
Área temáticas
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(3)
Analyzing the reliability of simulated distributed systems using Metamorphic Testing
Conference ObjectAbstract: Simulation is widely adopted by the research community to analyze and study complex systems. It is bPalabras claves:DISTRIBUTED SYSTEMS, Hpc, Metamorphic testing, SimulationAutores:Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Núñez A.Fuentes:scopusAutomated engineering of domain-specific metamorphic testing environments
ArticleAbstract: Context: Testing is essential to improve the correctness of software systems. Metamorphic testing (MPalabras claves:CLOUD COMPUTING, Domain-Specific Languages, Metamorphic testing, model-driven engineering, SimulationAutores:Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Núñez A.Fuentes:scopusAutomatic test amplification for executable models
Conference ObjectAbstract: Behavioral models are important assets that must be thoroughly verified early in the design process.Palabras claves:executable DSL, executable model, Regression testing, test amplificationAutores:Bousse E., Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Khorram F., Mottu J.M., Sunyé G.Fuentes:scopus