A Framework for GUI Testing Based on Use Case Design | IEEE Conference Publication | IEEE Xplore