Test case generation for use case dependency fault detection | IEEE Conference Publication | IEEE Xplore