@misc{indiciae97c77fa2fd17,
  title = {CIVET: Continuous Integration, Verification, Enhancement, and Testing},
  author = {Alger, Brian and Gaston, Derek R. and Permann, Cody J and Peterson, John W. and Slaughter, Andrew E. and Andrs, David},
  year = {2016},
  url = {https://www.osti.gov/biblio/1360673},
  note = {Source identifier: 1360673}
}