Lukas Krejci, Jiri Novák. Model-based testing of automotive distributed systems with automated prioritization. In 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2017, Bucharest, Romania, September 21-23, 2017. pages 668-673, IEEE, 2017. [doi]
Abstract is missing.