In-class and homework assignments for CS510: Software Testing, SP14