Over the last two years, I have been working with Shahar Maoz and David Lo on discovering high-level specifications of an application from its execution traces. This topic is also known as specification mining and has been brought up around … Continue reading →

This article was first published on Dirk’s Metric/k: Mining Branching-Time Scenarios From Execution Traces.