Modellsynthese für die Testfallgenerierung sowieTestdurchführung unter Nutzung von Methoden zur Netzwerkanalyse. - Stephan Magnus; Tim Ruß; Jan Krause; Christian Diedrich (Autom., 2017)

Automatisiertes Testen von verteilten Systemen über Petrinetze. - Tim Ruß; Stephan Magnus; Jan Krause (Softwaretechnik-Trends, 2017)