Dharmalingam Ganesan, Mikael Lindvall, Stefan Hafsteinsson, Rance Cleaveland, Susanne L. Strege, Walter Moleski. Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus. In 27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016. pages 445-454, IEEE Computer Society, 2016. [doi]
Abstract is missing.