Efficient path conditions in dependence graphs for software safety analysis (2006)

by G SNELTING, T ROBSCHINK, J KRINKE
Venue:ACM Transactions Software Engineering and Methodology