Test of a bond-correction formula for ultrasonic velocity measurement | IEEE Conference Publication | IEEE Xplore