Skip to content
Observing how software testing and verification (techniques, tools, etc) can be applied to different contexts: security, algorithms, etc.
Random testing: using segmentation fault as an oracle
January 2, 2017
Valgrind: check for out-of-bounds access
December 19, 2016
To find out more, including how to control cookies, see here: