Summary
Design report and test suit to check semantical correctness of ad-hoc storage systems and application needs
More information & hyperlinks