Evaluation of three specification-based testing criteria | IEEE Conference Publication | IEEE Xplore