@misc{indiciaeb38e9f3937f1, title = {Effects of Precise and Imprecise Value-Set Analysis (VSA) Information on Manual Code Analysis.}, author = {Matzen, Laura E. and Leger, Michelle A. and Reedy, Geoffrey Edward}, year = {2021}, doi = {10.2172/1847488}, url = {https://www.osti.gov/biblio/1847488}, note = {Source identifier: 1847488} }