@Inproceedings{EPTCS245.4, author = {Artho, Cyrille and Rousset, Guillaume}, year = {2017}, title = {Model-based Testing of the Java Network API}, editor = {Kofro\v{n}, Jan and Tumova, Jana}, booktitle = {{\rm Proceedings International Workshop on} Formal Engineering approaches to Software Components and Architectures, {\rm Uppsala, Sweden, 22nd April 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {245}, publisher = {Open Publishing Association}, pages = {46-51}, doi = {10.4204/EPTCS.245.4}, }