Using mutation testing to measure behavioural test diversity | IEEE Conference Publication | IEEE Xplore