A testing and specification framework for Java and Groovy with a highly expressive specification language.