Testing in Formal Verification via Witness Generation (Empirical Evaluation).

Dirk Beyer, Thomas Lemberger, Henrik Wachowitz

Browse the full FASE paper archive.