https://5dok.net/document/4yr2kooz-new-tool-for-grammar-based-test-case-generation.html