Using a case study to teach students about finding and fixing logic flaws in software | IEEE Conference Publication | IEEE Xplore