| Title: | Learning Concise Models from Long Execution Traces |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Natasha Yogananda Jeppu |
| Tom Melham | |
| Daniel Kroening EMail | |
| John O'Leary | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{jmkl2020,
AUTHOR = { Jeppu, Natasha Yogananda
and Melham, Tom
and Kroening, Daniel
and O'Leary, John },
TITLE = { Learning Concise Models from Long Execution Traces },
BOOKTITLE = { Design Automation Conference (DAC) },
YEAR = { 2020 },
PUBLISHER = { IEEE },
ISBN = { 978-1-7281-1085-1 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.