The Tests-versus-Proofs Conundrum

George Candea. The Tests-versus-Proofs Conundrum. IEEE Security & Privacy, 12(1):65-68, 2014. [doi]

@article{Candea14,
  title = {The Tests-versus-Proofs Conundrum},
  author = {George Candea},
  year = {2014},
  doi = {10.1109/MSP.2014.18},
  url = {http://doi.ieeecomputersociety.org/10.1109/MSP.2014.18},
  researchr = {https://researchr.org/publication/Candea14},
  cites = {0},
  citedby = {0},
  journal = {IEEE Security & Privacy},
  volume = {12},
  number = {1},
  pages = {65-68},
}