My notes on software testing