| Title | Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W. |
| Conference Name | 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) |
| Date Published | Oct |
| Keywords | aerospace computing, API, application program interfaces, Automation, Computer architecture, Concurrency, Concurrent computing, concurrent design, concurrent flight software bus, concurrent publisher-subscriber architecture style, concurrent system testing, Context, Flight Software, MBT technique, message passing, Microsoft Spec Explorer MBT tool, middleware, Model Based Testing, model-based test automation, NASA, NASA Core Flight Software software bus module, program testing, Publish-Subscribe, safety-critical software, safety-critical system, Software, software architecture, SUT, system-under-test, test case analysis, Testing |
| DOI | 10.1109/ISSRE.2016.47 |
