@inproceedings{nkckst2016,
  title = "Assisted Coverage Closure ",
  author = "Nellis, Adam and Kesseli, Pascal and Conmy, Philippa Ryan and Kroening, Daniel and Schrammel, Peter and Tautschnig, Michael",
  year = "2016",
  booktitle = "NASA Formal Methods Symposium, {NFM} 2016 ",
  note = "To appear. ",
  publisher = "Springer ",
  series = "LNCS ",
}