@article{towardslearningandverifyinginvariantsof,
  title = {Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation},
  author = {Yuqi Chen and Christopher M. Poskitt and Jun Sun},
  year = {2016},
  eprint = {1609.01491},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1609.01491v1},
}