A testing framework for Java