Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Information and Software Technology(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(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(5)
Programación informática, programas, datos, seguridad(3)
Ingeniería y operaciones afines(1)
Instrumentos de precisión y otros dispositivos(1)
Lingüística(1)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(5)
ODS 9: Industria, innovación e infraestructura(5)
ODS 8: Trabajo decente y crecimiento económico(4)
ODS 4: Educación de calidad(1)
Origen
scopus(6)
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:scopusAutomating the measurement of heterogeneous chatbot designs
Conference ObjectAbstract: Chatbots are being increasingly used to provide a natural language interface to all kinds of softwarPalabras claves:Chatbot design, METRICS, quality assuranceAutores:Canizares P.C., Guerra E., Juan De Lara, Perez-Soler S.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:scopusSICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
Conference ObjectAbstract: In this paper we present the SICOMORo-CM project. Its main aim is to advance the state of the art inPalabras claves:Autores:Albert E., Canizares P.C., Guerra E., Juan De Lara, Marcos E., Núñez M., Román-Díez G., Vara J.M., Zanardini D.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