On the Acceleration of Test Generation Algorithms. - Hideo Fujiwara; Takeshi Shimono (IEEE Trans. Computers, 1983)