DaTeC: Contextual Data Flow Testing of Java Classes