Skip to content
Observing how software testing and verification (techniques, tools, etc) can be applied to different contexts: security, algorithms, etc.
Tag: java pathfinder
JPF (and symbolic execution): solving the fruit puzzle
February 27, 2017
Installing Java Pathfinder (JPF) and the symbolic execution project (symbc or SPF)
February 13, 2017
To find out more, including how to control cookies, see here: