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]

@inproceedings{WeissneggerPKSR16,
  title = {Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML},
  author = {Ralph Weissnegger and Markus Pistauer and Christian Kreiner and Markus Schuß and Kay Römer and Christian Steger},
  year = {2016},
  doi = {10.5220/0005997700700075},
  url = {http://dx.doi.org/10.5220/0005997700700075},
  researchr = {https://researchr.org/publication/WeissneggerPKSR16},
  cites = {0},
  citedby = {0},
  pages = {70-75},
  booktitle = {Proceedings of the 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2016), Lisbon, Portugal, July 25-27, 2016},
  editor = {Andreas Ahrens and César Benavente-Peces},
  publisher = {SciTePress},
  isbn = {978-989-758-195-3},
}