@misc{indiciae3aeaf36228e4,
  title = {Extracting Formal Specifications to Strenghten Type Behaviour Testing},
  author = {Dimitri Racordon and Didier Buchs},
  year = {2017},
  url = {https://arxiv.org/abs/1708.05194},
  note = {Source identifier: 1708.05194}
}