Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten.

Jan Krause, Christian Diedrich

Browse the full GI paper archive.