VeriTracer: Context-enriched tracer for floating-point arithmetic analysis | IEEE Conference Publication | IEEE Xplore