@misc{indiciae60c64ba63085,
  title = {Assisted Coverage Closure},
  author = {Adam Nellis and Pascal Kesseli and Philippa Ryan Conmy and Daniel Kroening and Peter Schrammel and Michael Tautschnig},
  year = {2015},
  url = {https://arxiv.org/abs/1509.04587},
  note = {Source identifier: 1509.04587}
}