"Using Formal Verification Techniques to Reduce Simulation and Test Effort."

Odile Laurent, Pierre Michel, Virginie Wiels (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics