Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.

Tevfik Bultan, Richard Gerber, Christopher League

Browse the full ISSTA paper archive.