Specification analysis and test data generation by solving Boolean combinations of numeric constraints | IEEE Conference Publication | IEEE Xplore