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]
Abstract is missing.