@misc{indiciae4901298c206c,
  title = {Learning Concise Models from Long Execution Traces},
  author = {Natasha Yogananda Jeppu and Tom Melham and Daniel Kroening and John O'Leary},
  year = {2020},
  url = {https://arxiv.org/abs/2001.05230},
  note = {Source identifier: 2001.05230}
}