Pseudocube-based expressions to enhance testability. - Ryoji Ishikawa; Tomonori Igarashi; Takashi Hirayama; Kensuke Shimizu (APCCAS (2), 2002)