Usage-Based Positive and Negative Verification of User Interface Structure | IEEE Conference Publication | IEEE Xplore