Read the Debug Manual: A Debugging Manual for CS1 Students | IEEE Conference Publication | IEEE Xplore