Mostrando 9 resultados de: 9
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)
Lecture Notes in Business Information Processing(1)
Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022(1)
Área temáticas
Programación informática, programas, datos, seguridad(7)
Ciencias de la computación(3)
Métodos informáticos especiales(3)
Doctrinas(1)
Funcionamiento de bibliotecas y archivos(1)
Origen
scopus(9)
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:scopusA tool for domain-independent model mutation
ArticleAbstract: Mutation is a systematic technique to create variants of a seed artefact by means of mutation operatPalabras claves:Domain-Specific Languages, model mutation, Model synthesis, model-driven engineering, Mutation footprintAutores: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: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: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:scopusPoster: "Adoption of the visual brainstorming technique in the open source software development process"
Conference ObjectAbstract: The growth in the number of non-developer open source software (OSS) application users and the escalPalabras claves:Develop product concept, Open Source Software, Requirements engineering, usability techniques, Visual brainstormingAutores:Acũa S., Castro J.W., Gómez-Abajo P., Lucrecia Llerena, Nancy RodríguezFuentes:scopus