Identification of test cases using a formal approach | IEEE Conference Publication | IEEE Xplore