书目详细信息 : International conference on new developments in automatic testing