MBT 2010 Sixth Workshop on Model-Based Testing March 21, 2010, Paphos, Cyprus Satellite workshop of ETAPS 2010