For Bill Laboon's Software Testing class (CS 1699) at the University of Pittsburgh