Dalit Naor Petra Reshef Ohad Rodeh Allon Shafrir Adam Wolman Eitan Yaffe Benchmarking and Testing OSD for Correctness and Compliance. 158-176 2005 conf/hvc/2005 Haifa Verification Conference http://dx.doi.org/10.1007/11678779_12 db/conf/hvc/hvc2005.html#NaorRRSWY05