The BonaFide C Analyzer: automatic loop-level characterization and coverage measurement | Publicación