Iterative Model Fixing with Counterexamples.

Tsutomu Kumazawa, Tetsuo Tamai

Browse the full APSEC paper archive.