Automation of test case generation from textual use cases | IEEE Conference Publication | IEEE Xplore