书目详细信息 : 1982 IEEE international automatic testing conference