Hybrid Control-Flow Checking with On-Line Statistics. - Maro Duricek; Tibor Krajcovic (ECBS-EERC, 2015)