B-algorithm: A Behavioral-Test Generation Algorithm. - Chang Hyun Cho; James R. Armstrong (ITC, 1994)