Metamorphic Model-Based Testing Applied on NASA DAT - An Experience Report. - Mikael Lindvall; Dharmalingam Ganesan; Ragnar Ardal; Robert E. Wiegand (ICSE (2), 2015)