Test Generation using Java