@misc{indiciaef45ab34e1926,
  title = {Program Correctness, Verification and Testing for Exascale (Corvette)},
  author = {Sen, Koushik and Iancu, Costin and Demmel, James W},
  year = {2018},
  doi = {10.2172/1418165},
  url = {https://www.osti.gov/biblio/1418165},
  note = {Source identifier: 1418165}
}