Mostrando 7 resultados de: 7
Filtros aplicados
Publisher
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)
Information and Software Technology(1)
Journal of Object Technology(1)
Lecture Notes in Business Information Processing(1)
Área temáticas
Programación informática, programas, datos, seguridad(5)
Ciencias de la computación(2)
Métodos informáticos especiales(2)
Doctrinas(1)
Física aplicada(1)
Área de conocimiento
Ingeniería de software(6)
Software(5)
Ciencias de la computación(2)
Algoritmo(1)
Simulación por computadora(1)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(7)
ODS 17: Alianzas para lograr los objetivos(5)
ODS 8: Trabajo decente y crecimiento económico(2)
Origen
scopus(7)
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:scopusSeed Model Synthesis for Testing Model-Based Mutation Operators
Conference ObjectAbstract: In software engineering, mutation consists in injecting small changes in artefacts – like models, prPalabras claves:BPMN, Model synthesis, Model-based mutation, model-driven engineering, OCL, WodelAutores:Gómez-Abajo P., Guerra E., Juan De Lara, Merayo M.G.Fuentes:scopusSystematic Engineering of Mutation Operators
ArticleAbstract: In the context of software engineering, mutation consists in injecting small changes in artefacts –Palabras claves:class diagrams, METRICS, model mutation, Model synthesis, model-driven engineering, WodelAutores:Gómez-Abajo P., Guerra E., Juan De Lara, Merayo M.G.Fuentes:scopusMutation 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: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:scopusWodel: A domain-specific language for model mutation
Conference ObjectAbstract: Model-Driven Engineering (MDE) is a software engineering paradigm that uses models as main assets inPalabras claves:Domain-Specific Languages, Education, model mutation, model-driven engineeringAutores:Gómez-Abajo P., Guerra E., Juan De LaraFuentes:scopus