Mining Dynamic Traces