A translator which converts PLEXIL plans to Java with a focus on test case generation.