Test Case Generation for testing SNMP agents Diana Serbanescu (Fraunhofer FOKUS) & Theofanis Vassiliou-Gioles (Testing Technologies)