Testing a database for race conditions with QuickCheck. - R. John M. Hughes; Hans Bolinder (Erlang Workshop, 2011)