@inproceedings{fesca-2017,
  author    = {Cyrille Artho and Guillaume Rousset},
  title     = {Model-based Testing of the {Java} Network {API}},
  booktitle = {Proc.\ Int.\ Workshop on Formal Engineering approaches
               to Software Components and Architectures (FESCA@ETAPS 2017)},
  address   = {Uppsala, Sweden},
  pages     = {46--51},
  year      = {2017},
}