@misc{indiciae756afffbfc87,
  title = {CTGEN - a Unit Test Generator for C},
  author = {Tatiana Mangels and Jan Peleska},
  year = {2012},
  doi = {10.4204/eptcs.102.9},
  url = {https://arxiv.org/abs/1211.6191},
  note = {Source identifier: 1211.6191}
}