{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T13:17:05Z","timestamp":1768569425178,"version":"3.49.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,7,14]],"date-time":"2015-07-14T00:00:00Z","timestamp":1436832000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s11334-015-0254-6","type":"journal-article","created":{"date-parts":[[2015,7,13]],"date-time":"2015-07-13T10:59:36Z","timestamp":1436785176000},"page":"217-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Model-based testing of NASA\u2019s GMSEC, a reusable framework for ground system software"],"prefix":"10.1007","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3926-3652","authenticated-orcid":false,"given":"Vignir","family":"Gudmundsson","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Schulze","sequence":"additional","affiliation":[]},{"given":"Dharmalingam","family":"Ganesan","sequence":"additional","affiliation":[]},{"given":"Mikael","family":"Lindvall","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Wiegand","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,14]]},"reference":[{"key":"254_CR1","unstructured":"Gmsec team gmsec overview and demo. http:\/\/gmsec.gsfc.nasa.gov\/NEWarchitecture\/GMSEC_Overview_and_demo.pdf"},{"key":"254_CR2","unstructured":"Junit team web site. http:\/\/junit.org\/"},{"issue":"2","key":"254_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/356876.356879","volume":"14","author":"WR Adrion","year":"1982","unstructured":"Adrion WR, Branstad MA, Cherniavsky JC (1982) Validation, verification, and testing of computer software. ACM Comput Surv 14(2):159\u2013192. doi: 10.1145\/356876.356879","journal-title":"ACM Comput Surv"},{"key":"254_CR4","doi-asserted-by":"crossref","unstructured":"Belinfante A (2010) Jtorx: a tool for on-line model-driven test derivation and execution. In: Tools and algorithms for the construction and analysis of systems","DOI":"10.1007\/978-3-642-12002-2_21"},{"key":"254_CR5","doi-asserted-by":"crossref","unstructured":"Bertolino A, Corradini F, Inverardi P, Muccini H (2000) Deriving test plans from architectural descriptions. In: Proceedings of the 22nd international conference on software engineering, ICSE \u201900","DOI":"10.1145\/337180.337205"},{"key":"254_CR6","unstructured":"Binder R (2011) Model-based testing user survey: results and analysis. http:\/\/www.robertvbinder.com\/docs\/arts\/MBT-User-Survey.pdf"},{"key":"254_CR7","doi-asserted-by":"crossref","unstructured":"Clarke E, Grumberg O, Jha S, Lu Y, Veith H (2001) Progress on the state explosion problem in model checking. In: Informatics, pp 176\u2013194","DOI":"10.1007\/3-540-44577-3_12"},{"key":"254_CR8","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled D (1999) Model checking. MIT press, Cambridge"},{"key":"254_CR9","unstructured":"Clements P (2012) Improving testing outcomes through software architecture. http:\/\/blog.sei.cmu.edu\/post.cfm\/improving-testing-outcomes-through-software-architecture"},{"key":"254_CR10","doi-asserted-by":"crossref","unstructured":"Eugster PT, Felber PA, Guerraoui R, Kermarrec AM (2003) The many faces of publish\/subscribe. ACM Comput Surv 35(2):114\u2013131. http:\/\/doi.acm.org\/10.1145\/857076.857078","DOI":"10.1145\/857076.857078"},{"key":"254_CR11","doi-asserted-by":"crossref","unstructured":"Ganesan D, Lindvall M, Ruley L, Wiegand R, Ly V, Tsui T (2010) Architectural analysis of systems based on the publisher\u2013subscriber style. In: 2010 17th working conference on reverse engineering (WCRE)","DOI":"10.1109\/WCRE.2010.27"},{"key":"254_CR12","doi-asserted-by":"crossref","unstructured":"Groce A, Joshi R (2008) Random testing and model checking: building a common framework for nondeterministic exploration. In: Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT international symposium on software testing and analysis (ISSTA 2008), WODA \u201908. ACM, New York, pp 22\u201328. doi: 10.1145\/1401827.1401833","DOI":"10.1145\/1401827.1401833"},{"key":"254_CR13","doi-asserted-by":"crossref","unstructured":"Gudmundsson V, Schulze C, Ganesan D, Lindvall M, Wiegand R (2013) An initial evaluation of model-based testing. In: ISSRE (supplemental proceedings), pp 13\u201314","DOI":"10.1109\/ISSREW.2013.6688853"},{"key":"254_CR14","volume-title":"Model-based software testing and analysis with C#","author":"J Jacky","year":"2008","unstructured":"Jacky J, Veanes M, Campbell C, Schulte W (2008) Model-based software testing and analysis with C#. Cambridge University Press, London"},{"key":"254_CR15","unstructured":"Kita R, Trumpler M, Elkind L (1999) Method and apparatus for generating an extended finite state machine architecture for a software specification. US Patent 5,870,590"},{"key":"254_CR16","doi-asserted-by":"crossref","unstructured":"Michlmayr A, Fenkam P, Dustdar S (2006) Specification-based unit testing of publish\/subscribe applications. In: 26th IEEE international conference on distributed computing systems workshops 2006 (ICDCS workshops 2006)","DOI":"10.1109\/ICDCSW.2006.103"},{"key":"254_CR17","doi-asserted-by":"crossref","unstructured":"Mitchell JW (2006) A message oriented middleware for a soft real-time hardware-in-the-loop spacecraft formation flying testbed. http:\/\/www.emergentspace.com\/assets\/1\/7\/mst06-reprint.pdf . Accessed 7 Sept 2012","DOI":"10.2514\/6.2006-6127"},{"issue":"3","key":"254_CR18","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/TSE.2004.1271170","volume":"30","author":"H Muccini","year":"2004","unstructured":"Muccini H, Inverardi P, Bertolino A (2004) Using software architecture for code testing. IEEE Trans Softw Eng 30(3):160\u2013171","journal-title":"IEEE Trans Softw Eng"},{"key":"254_CR19","doi-asserted-by":"crossref","unstructured":"Myers G, Sandler C, Badgett T (2011) The art of software testing. Wiley, New York. http:\/\/www.google.is\/books?id=GjyEFPkMCwcC","DOI":"10.1002\/9781119202486"},{"key":"254_CR20","doi-asserted-by":"crossref","unstructured":"Oki B, Pfluegl M, Siegel A, Skeen D (1993) The information bus: an architecture for extensible distributed systems. In: Proceedings of the fourteenth ACM symposium on operating systems principles. ACM, New York, pp 58\u201368","DOI":"10.1145\/168619.168624"},{"key":"254_CR21","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu CS, Rungta N (2010) Symbolic pathfinder: symbolic execution of java bytecode. In: Proceedings of the IEEE\/ACM international conference on automated software engineering (ASE \u201910). ACM, New York, pp 179\u2013180. doi: 10.1145\/1858996.1859035","DOI":"10.1145\/1858996.1859035"},{"key":"254_CR22","doi-asserted-by":"crossref","unstructured":"Robinson B, Ernst MD, Perkins JH, Augustine V, Li N (2011) Scaling up automated test generation: automatically generating maintainable regression unit tests for programs. In: Proceedings of the 2011 26th IEEE\/ACM international conference on automated software engineering. IEEE Computer Society, pp 23\u201332","DOI":"10.1109\/ASE.2011.6100059"},{"key":"254_CR23","unstructured":"Robinson H Model-based testing. http:\/\/www.geocities.com\/model_based_testing\/ . Accessed 5 Sept 2012"},{"issue":"4","key":"254_CR24","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/88.473612","volume":"3","author":"M Rosenblum","year":"1995","unstructured":"Rosenblum M, Herrod S, Witchel E, Gupta A (1995) Complete computer system simulation: the simos approach. Parallel Distrib Technol Syst Appl IEEE 3(4):34\u201343. doi: 10.1109\/88.473612","journal-title":"Parallel Distrib Technol Syst Appl IEEE"},{"key":"254_CR25","doi-asserted-by":"crossref","unstructured":"Schulze C, Ganesan D, Lindvall M, Cleaveland R, Goldman D (2014) Assessing model-based testing: an empirical study conducted in industry. In: ICSE Companion, pp 135\u2013144","DOI":"10.1145\/2591062.2591180"},{"key":"254_CR26","doi-asserted-by":"crossref","unstructured":"Schulze C, Ganesan D, Lindvall M, Omas DM, Cudmore A (2013) Model-based testing of NASA\u2019s OSAL API\u2014an experience report. In: ISSRE, pp 300\u2013309","DOI":"10.1109\/ISSRE.2013.6698883"},{"key":"254_CR27","doi-asserted-by":"crossref","unstructured":"Sijtema M, Stoelinga M, Belinfante A, Marinelli L (2011) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at neopost. In: Formal methods for industrial critical systems","DOI":"10.1007\/978-3-642-24431-5_10"},{"key":"254_CR28","doi-asserted-by":"crossref","unstructured":"Staats M, Whalen M, Heimdahl M (2011) Programs, tests, and oracles: the foundations of testing revisited. In: 2011 33rd international conference on software engineering (ICSE)","DOI":"10.1145\/1985793.1985847"},{"key":"254_CR29","unstructured":"Tretmans J, Brinksma E (2003) Torx: automated model-based testing. In: Hartman A, Dussa-Ziegler K (eds) First European conference on model-driven software engineering, pp 31\u201343"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-015-0254-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-015-0254-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-015-0254-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T01:32:00Z","timestamp":1566955920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-015-0254-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,14]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["254"],"URL":"https:\/\/doi.org\/10.1007\/s11334-015-0254-6","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,14]]}}}