A case study for generating test cases from use cases | IEEE Conference Publication | IEEE Xplore