@misc{indiciaefaea92b07eb2,
  title = {Syntactic Abstraction of B Models to Generate Tests},
  author = {Jacques Julliand and Nicolas Stouls and Pierre-Christophe Bué and Pierre-Alain Masson},
  year = {2010},
  url = {https://arxiv.org/abs/1004.1262},
  note = {Source identifier: 1004.1262}
}