Efficient path conditions in dependence graphs.

Torsten Robschink, Gregor Snelting

Browse the full ICSE paper archive.