PART IV

Discussion about writing test cases for UTAH