Semantic analysis technique of logics retrieval for software testing from specification documents | IEEE Conference Publication | IEEE Xplore