Interactive Runtime Verification — A Ph.D to Improve Bug Detection and Understanding | IEEE Conference Publication | IEEE Xplore