hypothesis - одна из самых популярных библиотек на Питоне для тестирования свойств (aka property-based testing). hypothesis поддерживает множество стратегий и расширений для генерации данных, но отстутствовала возможность генерации данных на основе грамматик. Хотя автор и описал такую идею ещё в 2015 году, но желающих написать код не было. В начале этого года поддержку грамматик в формате EBNF добавили с помощью библиотеки lark и в будущем есть планы сделать поддержку ANTLR и ABNF. Я обновил все свои грамматики, которые я использовал для тестирования для использования в hypothesis и выложил на Гитхаб. Пользуйтесь.