Maximizing Branch Coverage with Constrained Horn Clauses.

Ilia Zlatkin, Grigory Fedyukovich

Browse the full TACAS paper archive.