@misc{indiciae217b8ccc9566,
  title = {Code Verification and Confidence-Building},
  author = {Keating, Elizabeth H. and Sun, Yunwei and Dai, Zhenxue and Zheng, Liange and Bacon, Diana},
  year = {2013},
  doi = {10.2172/1087614},
  url = {https://www.osti.gov/biblio/1087614},
  note = {Source identifier: 1087614}
}