Stephan Magnus

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 5

Top Topics

Test Generation

Multiprocessor Architecture

Production System

Mutation Testing

Top Venues

Softwaretechnik-Trends

Publications

Martin Reider, Stephan Magnus, Jan Krause
Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization. ICST Workshops (2018)
Christoph Engel, Stephan Magnus, Jan Krause
Using Twitter as source of traffic data - Concepts and experiences of the project AUSWEG. FNC/MobiSPC (2017)
Stephan Magnus, Tim Ruß, Jan Krause, Christian Diedrich
Modellsynthese für die Testfallgenerierung sowieTestdurchführung unter Nutzung von Methoden zur Netzwerkanalyse. Autom. 65 (1) (2017)
Tim Ruß, Stephan Magnus, Jan Krause
Automatisiertes Testen von verteilten Systemen über Petrinetze. Softwaretechnik-Trends 37 (1) (2017)
Sebastian Süß, Stephan Magnus, Mario Thron, Holger Zipper, Ulrich Odefey, Victor Fäßler, Anton Strahilov, Adam Klodowski, Thomas Bär, Christian Diedrich
Test methodology for virtual commissioning based on behaviour simulation of production systems. ETFA (2016)
Stephan Magnus, Jan Krause, Christian Diedrich
Automatisierte Modellgenerierung auf Basis formalisierter Anforderungsbeschreibung. Autom. 63 (2) (2015)
Zheng Liu, Stephan Magnus, Jan Krause, Christian Diedrich
Concept for modelling and testing of individual mechatronic components for manufacturing plant simulation. ETFA (2014)
Jan Krause, Elke Hintze, Stephan Magnus, Christian Diedrich
Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile. SAFECOMP (2012)