publication venue for Clause Simplification through Dominator Analysis 2011 Improved visibility in one-to-many trace concretization 2008
