Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML

Ralph Weissnegger, Markus Pistauer, Christian Kreiner, Markus Schuß, Kay Römer, Christian Steger. Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML. In Andreas Ahrens, César Benavente-Peces, editors, Proceedings of the 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2016), Lisbon, Portugal, July 25-27, 2016. pages 70-75, SciTePress, 2016. [doi]

Authors

Ralph Weissnegger

This author has not been identified. Look up 'Ralph Weissnegger' in Google

Markus Pistauer

This author has not been identified. Look up 'Markus Pistauer' in Google

Christian Kreiner

This author has not been identified. Look up 'Christian Kreiner' in Google

Markus Schuß

This author has not been identified. Look up 'Markus Schuß' in Google

Kay Römer

This author has not been identified. It may be one of the following persons: Look up 'Kay Römer' in Google

Christian Steger

This author has not been identified. Look up 'Christian Steger' in Google