@misc{indiciae3e72e04b68df,
  title = {Politiques de Tests Partiels \textbackslash{}\& Systèmes de Sécurité},
  author = {Florent Brissaud and Anne Barros and Christophe Bérenguer},
  year = {2010},
  url = {https://arxiv.org/abs/1007.5447},
  note = {Source identifier: 1007.5447}
}