2017
Automatisiertes Testen von verteilten Systemen über Petrinetze.
[DOI]
Tim Ruß
,
Stephan Magnus
,
Jan Krause
Softwaretechnik-Trends, 2017

Modellsynthese für die Testfallgenerierung sowieTestdurchführung unter Nutzung von Methoden zur Netzwerkanalyse.
[DOI]
Stephan Magnus
,
Tim Ruß
,
Jan Krause
,
Christian Diedrich
Autom., 2017