ViMoTest: A Tool to Specify ViewModel-Based GUI Test Scenarios Using Projectional Editing | IEEE Conference Publication | IEEE Xplore