Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus.

Dharmalingam Ganesan, Mikael Lindvall, Stefan Hafsteinsson, Rance Cleaveland, Susanne L. Strege, Walter Moleski

Browse the full ISSRE paper archive.