Efficient path conditions in dependence graphs (0)

by T Robschink, G Snelting
Venue:In ICSE (2002