{"inproceedings":{"@attributes":{"key":"conf\/dac\/JeppuMKO20","mdate":"2021-10-14"},"author":["Natasha Yogananda Jeppu","Thomas F. Melham","Daniel Kroening","John O'Leary"],"title":"Learning Concise Models from Long Execution Traces.","pages":"1-6","year":"2020","booktitle":"DAC","ee":"https:\/\/doi.org\/10.1109\/DAC18072.2020.9218613","crossref":"conf\/dac\/2020","url":"db\/conf\/dac\/dac2020.html#JeppuMKO20"}}