Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Information and Software Technology(1)
Procedia Computer Science(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
Ciencias de la computación(4)
Programación informática, programas, datos, seguridad(2)
Instrumentos de precisión y otros dispositivos(1)
Métodos informáticos especiales(1)
Origen
scopus(4)
Automated 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:scopusAnalyzing 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:scopusOUTRIDER: Optimizing the mUtation Testing pRocess in Distributed EnviRonments
Conference ObjectAbstract: The adoption of commodity clusters has been widely extended due to its cost-effectiveness and the evPalabras claves:Distributed Computing, HIGH PERFORMANCE COMPUTING, Mutation testing, ParallelAutores:Canizares P.C., Juan De Lara, Núñez A.Fuentes:scopus