Bibtex:

@article{smk2014,
  AUTHOR    = { Schrammel, Peter
                and Melham, Tom
                and Kroening, Daniel },
  TITLE     = { Generating Test Case Chains for Reactive Systems },
  YEAR      = { 2016 },
  PUBLISHER = { Springer },
  PAGES     = { 319--334 },
  JOURNAL   = { Software Tools for Technology Transfer (STTT) },
  VOLUME    = { 18 },
  ISSUE     = { 3 },
  MONTH     = { June },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.