Pat Testing Of Serializability