Learning Concise Models from Long Execution Traces.

Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary

Browse the full DAC paper archive.