A metric towards efficient pseudo-exhaustive test pattern generation