Semantic analysis technique of logics retrieval for software testing from specification documentsSatoshi MasudaFutoshi Iwamaet al.2015ICSTW 2015