Eschbach, RobertLeucker, MartinBeletski, TarasSchwedler, WolfgangWolfgangSchwedler2022-03-072022-03-072007https://publica.fraunhofer.de/handle/publica/277441engenetic algorithmmodel checkingartificial intelligenceJava programming languagesoftware testing004005006Using genetic algorithms in model checkingdiploma thesis