An analysis and extension of Category partition testing for constrained systems | IEEE Conference Publication | IEEE Xplore