BPGen: an automated breakpoint generator for debugging | IEEE Conference Publication | IEEE Xplore