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