An Undergraduate Summer Research Program in Software Safety | IEEE Conference Publication | IEEE Xplore