Test Stub Generation from Interaction and Behavioural Models. - Judy Bowen; Swikrit Khanal (EICS, 2018)