Tests from Witnesses - Execution-Based Validation of Verification Results.

Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig

Browse the full TAP paper archive.