@misc{indiciae8a314680984a,
  title = {Chaining Test Cases for Reactive System Testing (extended version)},
  author = {Peter Schrammel and Tom Melham and Daniel Kroening},
  year = {2013},
  url = {https://arxiv.org/abs/1306.3882},
  note = {Source identifier: 1306.3882}
}