Diversity of Graph Models and Graph Generators in Mutation Testing

Publication Reference

Diversity of graph models and graph generators in mutation testing
Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró
International Journal on Software Tools for Technology Transfer (STTT), Volume 22, Issue 1, Pages 57–78, 2020
DOI: 10.1007/s10009-019-00530-6

Abstract

This paper proposes different diversity metrics for models by generalizing and exploiting neighborhood and predicate shapes as abstraction. We evaluate such shape-based diversity metrics using various distance functions in the context of mutation testing of graph constraints and access policies for two separate industrial DSLs. Furthermore, we evaluate the quality (bug detection capability) of different model generation techniques for mutation testing purposes.

Tags

mutation testing, graph models, model diversity, shape-based metrics, DSL testing, model generation

Supplementary Material

This page contains supplementary material for the measurements taken in our STTT journal publication.

Contact Authors

• [email protected]
• [email protected]
• [email protected]
• [email protected]

Appendix on Case Study Details: Test Generation for Wind Turbine Access Control Policies

See attached document.