Mutation-based Model Synthesis in Model Driven Engineering

  • S. Sen, Benoit Baudry
  • Published 2006 in
    Second Workshop on Mutation Analysis (Mutation…
With the increasing use of models for software development and the emergence of model-driven engineering, it has become important to build accurate and precise models that present certain characteristics. Model transformation testing is a domain that requires generating a large number of models that satisfy coverage properties (cover the code of the… (More)