TY - CPAPER
KW - aerospace computing
KW - application program interfaces
KW - message passing
KW - middleware
KW - program testing
KW - safety-critical software
KW - software architecture
KW - model-based test automation
KW - concurrent flight software bus
KW - concurrent design
KW - test case analysis
KW - NASA Core Flight Software software bus module
KW - MBT technique
KW - concurrent system testing
KW - system-under-test
KW - SUT
KW - Microsoft Spec Explorer MBT tool
KW - API
KW - concurrent publisher-subscriber architecture style
KW - safety-critical system
KW - Testing
KW - Software
KW - Computer architecture
KW - Concurrent computing
KW - NASA
KW - Automation
KW - Context
KW - Model Based Testing
KW - Concurrency
KW - Publish-Subscribe
KW - Flight Software
AU - D. Ganesan
AU - M. Lindvall
AU - S. Hafsteinsson
AU - R. Cleaveland
AU - S. Strege
AU - W. Moleski
BT - 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)
DA - Oct
DO - 10.1109/ISSRE.2016.47
LA - eng
PY - 2016
T2 - 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)
TI - Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus
ER -