Large-Scale Evaluation of the Efficiency of Runtime-Verification Tools in the Wild.

Omar Javed, Walter Binder

Browse the full APSEC paper archive.