Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving | IEEE Conference Publication | IEEE Xplore