Specification test coverage adequacy criteria = specification test generation inadequacy criteria | IEEE Conference Publication | IEEE Xplore