Model-based approach for automated test case generation from visual requirement specifications | IEEE Conference Publication | IEEE Xplore