Semantic analysis technique of logics retrieval for software testing from specification documents.

Satoshi Masuda, Futoshi Iwama, Nobuhiro Hosokawa, Tohru Matsuodani, Kazuhiko Tsuda

Browse the full ICST paper archive.