Assertion-Based Verification through Binary Instrumentation. - Enzo Brignon; Laurence Pierre (DATE, 2019)