Validating Database System Isolation Level Implementations with Version Certificate Recovery.

Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger

Browse the full EuroSys paper archive.