Test Object Library for Java. Allows to dynamically create stubs and record behavior. No need to create code, no formal verification.