3 ms·
The coverity paper may be interesting to you: http://delivery.acm.org/10.1145/1650000/1646374/p66-bessey.pdf?ip=104.132.11.86&id=1646374&acc=OPEN&key=4D4702B0C3
by joatmon-snoo 7y ago
The coverity paper may be interesting to you: http://delivery.acm.org/10.1145/1650000/1646374/p66-bessey.pdf?ip=104.132.11.86&id=1646374&acc=OPEN&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6D218144511F3437&__acm__=1565929701_4dc880fcf10483a0346296d0efb311c2 http://delivery.acm.org/10.1145/1650000/1646374/p66-bessey.p...
- merlinsbrain 7y agoThe link doesn’t work, I’m interested to read it though.
- mdibiase 7y agoTry this link. It should be the same article as linked previously. http://www.cs.columbia.edu/~junfeng/14fa-e6121/papers/coverity.pdf http://www.cs.columbia.edu/~junfeng/14fa-e6121/papers/coveri...
- joatmon-snoo 7y agoWhoops! Should've noticed that was an ephemeral link, but yes, mdibiase@ linked the one I meant to. It's Coverity's "A Few Billion Lines of Code Later" ACM paper.