CMSC737 - Assembly Model Testing