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 GMSEC, a reusable framework for ground system software. - Vignir Gudmundsson; Christoph Schulze 001; Dharmalingam Ganesan; Mikael Lindvall; Robert Wiegand (Innov. Syst. Softw. Eng., 2015)

Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App. - Vignir Gudmundsson; Mikael Lindvall; Luca Aceto; Johann Bergthorsson; Dharmalingam Ganesan (PrePost@IFM, 2016)