A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. - Chin, Wei-Ngan; Gherghina, Cristian; Voicu, Razvan; Le, Quang Loc; Craciun, Florin; Qin, Shengchao (2011)