Skip to content
Observing how software testing and verification (techniques, tools, etc) can be applied to different contexts: security, algorithms, etc.
JPF (and symbolic execution): solving the fruit puzzle
February 27, 2017
January 30, 2017
To find out more, including how to control cookies, see here: