B-algorithm: A Behavioral-Test Generation Algorithm.

Chang Hyun Cho, James R. Armstrong

Browse the full ITC paper archive.