%0 Conference Paper
%K aerospace computing
%K application program interfaces
%K message passing
%K middleware
%K program testing
%K safety-critical software
%K software architecture
%K model-based test automation
%K concurrent flight software bus
%K concurrent design
%K test case analysis
%K NASA Core Flight Software software bus module
%K MBT technique
%K concurrent system testing
%K system-under-test
%K SUT
%K Microsoft Spec Explorer MBT tool
%K API
%K concurrent publisher-subscriber architecture style
%K safety-critical system
%K Testing
%K Software
%K Computer architecture
%K Concurrent computing
%K NASA
%K Automation
%K Context
%K Model Based Testing
%K Concurrency
%K Publish-Subscribe
%K Flight Software
%B 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)
%D 2016
%G eng
%R 10.1109/ISSRE.2016.47
%T Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus
%8 Oct