@misc{morciniec2016logical,
  title={A Logical Approach to Generating Test Plans},
  author={Tobias Morciniec and Andreas Podelski},
  year={2016},
  eprint={1612.04351},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/1612.04351}
}