JTACO: Test Execution for Faster Bounded Verification.

Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller

Browse the full TAP paper archive.