An initial evaluation of model-based testing. - Vignir Gudmundsson; Christoph Schulze 001; Dharmalingam Ganesan; Mikael Lindvall; Robert Wiegand (ISSRE (Supplemental Proceedings), 2013)

Model-based testing of NASA's OSAL API - An experience report. - Christoph Schulze 001; Dharmalingam Ganesan; Mikael Lindvall; Dave Mcf Omas; Alan Cudmore (ISSRE, 2013)

Assessing model-based testing: an empirical study conducted in industry. - Christoph Schulze 001; Dharmalingam Ganesan; Mikael Lindvall; Rance Cleaveland; Daniel Goldman (ICSE Companion, 2014)

Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report. - Christoph Schulze 001; Mikael Lindvall; Sigurthor Bjorgvinsson; Robert Wiegand (ISSRE, 2015)

Model-based testing of NASA's GMSEC, a reusable framework for ground system software. - Vignir Gudmundsson; Christoph Schulze 001; Dharmalingam Ganesan; Mikael Lindvall; Robert Wiegand (Innov. Syst. Softw. Eng., 2015)

Metamorphic Model-Based Testing of Autonomous Systems. - Mikael Lindvall; Adam A. Porter; Gudjon Magnusson; Christoph Schulze 001 (MET@ICSE, 2017)

Improving Invariant Mining via Static Analysis. - Christoph Schulze 001; Rance Cleaveland (ACM Trans. Embed. Comput. Syst., 2017)

Model-Based Testing of Off-Nominal Behaviors. - Christoph Schulze 001 (2017)

Automated Specification Extraction and Analysis with Specstractor. - Christoph Schulze 001; Rance Cleaveland; Mikael Lindvall (SEFM, 2018)