I've started using the "given/when/then" language more in the class when it comes to brainstorming test cases for the katas and projects. I should explore the feasibility of adding full-on Behavior-Driven Development (BDD) as a topic to the course. Part of that would be to determine is there is a BDD framework (such as jbehave, spock, or cucumber).