Course note for <software testing>