Using abstraction and Web applications to teach criteria-based test design | IEEE Conference Publication | IEEE Xplore