DataSeries: an efficient, flexible data format for structured serial data
Crash data collection: a Windows case study