@inproceedings{4364, author = {Podelski,Andreas and Thomas Wies}, pages = {249 -- 260}, publisher = {ACM}, title = {{Counterexample-guided focus}}, doi = {10.1145/1707801.1706330}, year = {2010}, }