Used for CS1632 Software Quality Assurance, taught by Wonsun Ahn