QuickCheck helps debug Google LevelDB

At LambdaJam in Chicago, Joe Norton described how he used QuickCheck to track down a bug in the background compaction that is part of Google’s LevelDB database. The bug is quite amazing: it required a long sequence of API calls to provoke it, but even so QuickCheck could find a minimal failing test in a few minutes. Joe’s talk gives a nice overview of QuickCheck as well, and good advice on how to get started with property-based testing. Enjoy!