@article{Jeppu:2020:LCMb,
  title = "Learning Concise Models from Long Execution Traces",
  author = "Natasha Yogananda Jeppu and Tom Melham and Daniel Kroening and John O'Leary",
  year = "2020",
  journal = "arXiv Computing Research Repository",
  month = "January",
  url = "https://arxiv.org/abs/2001.05230",
  volume = "arXiv:2001.05230 [cs.FL]",
}