patel/se_hw3-structural-testing archive