improved docs, added test-case generators