B-algorithm: a behavioral test generation algorithm | IEEE Conference Publication | IEEE Xplore