Metamorphic Model-Based Testing Applied on NASA DAT - An Experience Report.

Mikael Lindvall, Dharmalingam Ganesan, Ragnar Ardal, Robert E. Wiegand

Browse the full ICSE paper archive.