Model-Based Testing for Verification Back-Ends.

Cyrille Artho, Armin Biere, Martina Seidl

Browse the full TAP paper archive.