A protocol robustness testing framework for java