Documentos
Filtros aplicados
Publisher
ACM International Conference Proceeding Series(1)
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018(1)
DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019(1)
Expert Systems with Applications(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Programación informática, programas, datos, seguridad(7)
Ciencias de la computación(2)
Instrumentos de precisión y otros dispositivos(2)
Métodos informáticos especiales(1)
Área de conocimiento
Ingeniería de software(6)
Software(5)
Ciencias de la computación(2)
Simulación por computadora(1)
Mostrando 7 resultados de: 7
An 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:scopusEffectiveness assessment of an early testing technique using model-level mutants
Conference ObjectAbstract: While modern software development technologies enhance the capabilities of model-based/driven develoPalabras claves:Class diagram mutation, Conceptual schemas testing, Effectiveness assessment, Mutation testing, Test suite effectivenessAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlescopusMutation operators for UML class diagrams
Conference ObjectAbstract: Mutation Testing is a well-established technique for assessing the quality of test cases by checkingPalabras claves:Class diagram mutation, Conceptual schemas, Mutation operators, Mutation testing, Test cases qualityAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlerraaescopusMutation testing for DSLs (Tool demo)
Conference ObjectAbstract: Mutation testing (MT) is a well-known technique to evaluate and improve the quality of a given test-Palabras claves:Domain-Specific Languages, Mutation testingAutores:Gómez-Abajo P., Guerra E., Juan De Lara, Merayo M.G.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:scopusTowards Effective Mutation Testing for ATL
Conference ObjectAbstract: The correctness of model transformations is crucial to obtain high-quality solutions in model-drivenPalabras claves:ATL, Model Transformations, Mutation testingAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopusTowards a model-driven engineering solution for language independent mutation testing
Conference ObjectAbstract: Mutation testing is a technique to assess test suite adequacy to distinguish between correct and incPalabras claves:Domain-Specific Languages, model mutation, model-driven engineering, Mutation testing, Reverse EngineeringAutores:Gómez-Abajo P., Guerra E., Juan De Lara, Merayo M.G.Fuentes:scopus