@misc{indiciae070576fa1849,
  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},
  doi = {10.1007/978-3-319-48989-6\_10},
  url = {https://arxiv.org/abs/1609.01491},
  note = {Source identifier: 1609.01491}
}