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}, }