TDT4237 Whitebox Testing