https://9dok.net/document/yev651xe-master-thesis-software-testing-vspaero.html