https://5dok.org/document/y4wjpw4r-case-studies-in-learning-based-testing.html