- Projet Couverture : de nouveaux outils de développement open source 17/11/2008 [vnunet.fr]
- Couverture : AdaCore & co dévoilent leur projet de certification libre 17/11/2008 [NetEco]
- Couverture, premier projet Libre de System@tic, démarre 18/09/2008 [JDN Solutions]
- Couverture : AdaCore & co dévoilent leur projet de certification libre [L'Expansion]17/09/2008
- AdaCore annonce le lancement du « Projet Couverture » 17/09/2008 [Info high tech]
- AdaCore lance le projet Open Source de couverture de code 18/09/2008 [ITR Manager]