Our work 'A Tool for Domain-Independent Model Mutation' is now available online
Our work 'A Tool for Domain-Independent Model Mutation' is now available online. Thanks to my supervisors Esther Guerra, Juan de Lara and Mercedes G. Merayo.
Highlights
• Wodel is an Eclipse plugin to develop and analyse domain-independent mutation operators.
• It provides a domain-specific textual language with high-level mutation primitives, and an automatic seed model generator.
• It computes static and dynamic metrics of mutation programs to obtain meta-model coverage and detailed execution traces.
• It can be extended for specific applications (like testing) by means of extension points.
Mutation is a systematic technique to create variants of a seed artefact by means of mutation operators. It has many applications in computer science, like software testing, automatic exercise generation and design space exploration. Typically, mutation frameworks are developed ad-hoc by implementing mutation operators and their application strategies from scratch, using general-purpose programming languages. However, this is costly and error-prone.
To improve this situation, we propose Wodel: a domain-specific language and tool for model-based mutation that is independent of the domain meta-model. Wodelenables the rapid development and application of model mutations. It provides built-in advanced functionalities like automatic generation of seed models, and static and dynamic metrics of operator coverage and applicability. It offers extension points, e.g., to post-process mutants and describe domain-specific equivalence criteria. As an example, we illustrate the usage of Wodel for the mutation of security policies, and present an empirical evaluation of its expressiveness.
"
Artículos de Pablo Gómez Abajo
Ver blogI copy here the definition of schizoaffective disorder from the English Wikipedia: · "Schizoaffectiv ...
Kurt Cobain · maldecía a la generación de los hippies - que era la generación de sus padres, y por t ...
En el mundo de los sueños estaba Zaratustra, el personaje mítico de Nietzsche, hablando en su montañ ...
Puede que te interesen estos puestos de trabajo
-
Contable
Encontrado en: Buscojobs ES C2 - hace 2 días
Antal International Álava, EspañaJob Description Funciones: - Ciclo contable completo. - Preparación y presentación de modelos mensuales, trimestrales y anuales. - Cierres contables. - Tesorería. - Preparación y presentación de Cuentas Anuales. Requisitos - Experiencia profesional en departamento contable 2-3 añ ...
-
IS Trainee
Encontrado en: Talent ES C2 - hace 4 días
Valeo Lerma, España De jornada completaValeo is a tech global company, designing breakthrough solutions to reinvent the mobility. We are an automotive supplier partner to automakers and new mobility actors worldwide. Our vision? Invent a greener and more secured mobility, thanks to solutions focusing on intuitive driv ...
-
Bar(wo)man for Beach Club in Isla Canela
Encontrado en: beBee S2 ES - hace 3 días
Playa Alta Beach-Club Huelva, España OTHERWe are looking for a responsible person with a lot of energy and knowledge of people to be responsible for the bar, inventory. · Who is eager to perfect his/her Spanish and work till the end of September. · We offer contract and a for 'Spanish', good pay. · El contrato será de ti ...
Comentarios