A Case-based Approach for introducing Testing Tools and Principles | IEEE Conference Publication | IEEE Xplore