@inproceedings{bartel:mutation2011,
  author    = {Alexandre Bartel and Benoit Baudry and Freddy Munoz and Jacques
  Klein and Tejeddine Mouelhi and Yves Le Traon},
  title     = {Model Driven Mutation Applied to Adaptative Systems Testing},
  abstract  = {Dynamically Adaptive Systems modify their behavior and structure
  in response to changes in their surrounding environment and according to an
  adaptation logic. Critical systems increasingly incorporate dynamic
  adaptation capabilities; examples include disaster relief and space
  exploration systems. In this paper, we focus on mutation testing of the
  adaptation logic.  We propose a fault model for adaptation logics that
  classifies faults into environmental completeness and adaptation correctness.
  Since there are several adaptation logic languages relying on the same
  underlying concepts, the fault model is expressed independently from specific
  adaptation languages. Taking benefit from model-driven engineering
  technology, we express these common concepts in a metamodel and define the
  operational semantics of mutation operators at this level. Mutation is
  applied on model elements and model transformations are used to propagate
  these changes to a given adaptation policy in the chosen formalism.
  Preliminary results on an adaptive web server highlight the difficulty of
  killing mutants for adaptive systems, and thus the difficulty of generating
  efficient tests.},
  keywords  = {model driven engineering, MDE, mutation, testing, adaptative
  systems},
  booktitle = {IEEE International Conference on Software Testing, Verification
  and Validation, Mutation Analysis Workshop},
  isbn      = {978-0-7695-4345-1},
  year      = {2011},
  month     = March,
}