书目详细信息 : Automatic testing 81 V.2