Conference paperSemantic analysis technique of logics retrieval for software testing from specification documents