TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces | IEEE Conference Publication | IEEE Xplore