Improving guide-based vulnerability detection with hybrid symbolic execution | IEEE Conference Publication | IEEE Xplore