Learning Concise Models from Long Execution Traces
Natasha Yogananda Jeppu‚ Tom Melham‚ Daniel Kroening and John O'Leary
Journal
arXiv Computing Research Repository
Month
January
Volume
arXiv:2001.05230 [cs.FL]
Year
2020
Natasha Yogananda Jeppu‚ Tom Melham‚ Daniel Kroening and John O'Leary