@misc{indiciae527d65e676af, title = {CST: A Tool for Optimizing the Efficiency and Effectiveness of Static-Code Analysis Tools}, author = {Madeleine Weber and Cecil H. O'Dell}, year = {2023}, url = {https://ntrs.nasa.gov/citations/20230008112}, note = {Source identifier: 20230008112} }