Test case quality in test driven development: A study design and a pilot experiment | IET Conference Publication | IEEE Xplore