Dynamic Solution of Linear Constraints for Test Case Generation | IEEE Conference Publication | IEEE Xplore