Benchmarking and Testing OSD for Correctness and ComplianceDalit Naor, Eitan Yaffe, Petra Reshef et al.|Lecture notes in computer science|2006Cited by 5