Vetting Automatically Generated Trace Links: What Information is Useful to Human Analysts? | IEEE Conference Publication | IEEE Xplore