Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
ACM International Conference Proceeding Series(1)
Cluster Computing(1)
Expert Systems with Applications(1)
Procedia Computer Science(1)
Software and Systems Modeling(1)
Área temáticas
Programación informática, programas, datos, seguridad(5)
Ciencias de la computación(4)
Métodos informáticos especiales(3)
Filosofía y teoría(1)
Instrumentos de precisión y otros dispositivos(1)
Área de conocimiento
Ingeniería de software(4)
Software(4)
Ciencias de la computación(3)
Simulación por computadora(1)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(5)
ODS 9: Industria, innovación e infraestructura(5)
ODS 4: Educación de calidad(2)
ODS 8: Trabajo decente y crecimiento económico(2)
ODS 12: Producción y consumo responsables(1)
Origen
scopus(5)
A language-parametric test amplification framework for executable domain-specific languages
ArticleAbstract: Behavioral models are important assets that must be thoroughly verified early in the design process.Palabras claves:executable DSL, executable model, Mutation testing, Regression testing, test amplificationAutores:Bousse E., Canizares P.C., Djamel Eddine Khelladi, Gómez-Abajo P., Guerra E., Juan De Lara, Khorram F., Mottu J.M., Sunyé G.Fuentes:scopusMutation Testing for Task-Oriented Chatbots
OtherAbstract: Conversational agents, or chatbots, are increasingly used to access all sorts of services using natuPalabras claves:Botium, Dialogflow, Mutation testing, Rasa, Task-oriented chatbotsAutores:Canizares P.C., Gómez-Abajo P., Guerra E., Juan De Lara, Perez-Soler S.Fuentes:scopusParallel mutation testing for large scale systems
ArticleAbstract: Mutation testing is a valuable technique for measuring the quality of test suites in terms of detectPalabras claves:Distributed Systems, high-performance computing, large-scale systems, Mutation testing, Parallel mutation testing, TESTINGAutores:Canizares P.C., Juan De Lara, Núñez A., Rosa FilgueiraFuentes:scopusAn expert system for checking the correctness of memory systems using simulation and metamorphic testing
ArticleAbstract: During the last few years, computer performance has reached a turning point where computing power isPalabras claves:Expert systems, Memory scheduling, Memory systems, Metamorphic testing, Mutation testing, simulationAutores:Canizares P.C., 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