A new tool for random testability evaluation using simulation and formal proof. - Emmanuel Simeu; Anura Puissochet; Jean-Luc Rainard; Anne-Marie Tagant; Michel Poize (VTS, 1992)