https://9dok.net/document/y96jro0r-partition-oriented-test-generation.html