@misc{indiciae0504a812d444,
  title = {DSpot: Test Amplification for Automatic Assessment of Computational Diversity},
  author = {Benoit Baudry and Simon Allier and Marcelino Rodriguez-Cancio and Martin Monperrus},
  year = {2015},
  url = {https://arxiv.org/abs/1503.05807},
  note = {Source identifier: 1503.05807}
}