UNIT-LEVEL ISOLATION AND TESTING OF BUGGY CODE