Skip to main content

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