Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness | IEEE Conference Publication | IEEE Xplore