@misc{indiciaebfc8cbe5ed71,
  title = {A New Verification Method for Deterministic and Stochastic Codes},
  author = {Krueger, Aaron Martin and Jelsema, Casey Michael and Smith, Timothy Andrew and Huang, Andy},
  year = {2023},
  doi = {10.2172/2431159},
  url = {https://www.osti.gov/biblio/2431159},
  note = {Source identifier: 2431159}
}