@article{DBLP:journals/sttt/SchrammelMK14,
  title = "Generating test case chains for reactive systems",
  author = "Schrammel, Peter and Melham, Tom and Kroening, Daniel",
  year = "2014",
  journal = "International Journal on Software Tools for Technology Transfer",
  pages = "1-16",
  publisher = "Springer",
}