Generalizing WYSIWYT visual testing to screen transition languages | IEEE Conference Publication | IEEE Xplore