Extension of Superblock Technique to Hyperblock Using Predicate Hierarchy Graph. - Sweta Verma; Ranjit Biswas; J. B. Singh (IC3 (2), 2010)