What is "jwalk"

JWalk is a unit testing toolkit for the Java programming language. Created by Anthony Simons, JWalk supports a testing paradigm called Lazy Systematic Unit Testing. This is based on the two notions of lazy specification, the ability to infer the evolving specification of a class on the fly by dynamic analysis, and systematic testing, the ability to explore and test the class's state space exhaustively to bounded depths.