Efficient Generation of Test Data with Extended Cardinality Constraints | IEEE Conference Publication | IEEE Xplore