Tailoring programs for static analysis via program transformation.

Rijnard van Tonder, Claire Le Goues

Browse the full ICSE paper archive.