@misc{indiciaed866a22e4045,
  title = {Testing Java implementations of algebraic specifications},
  author = {Isabel Nunes and Filipe Luís},
  year = {2013},
  doi = {10.4204/eptcs.111.4},
  url = {https://arxiv.org/abs/1303.1008},
  note = {Source identifier: 1303.1008}
}