Model-based Testing of the Java Network API

Cyrille Artho, Guillaume Rousset

Testing networked systems is challenging. The client or server side cannot be tested by itself. We present a solution using tool "Modbat" that generates test cases for Java's netwo…