A novel approach for test case generation from UML activity diagram | IEEE Conference Publication | IEEE Xplore