Using Hypotheses as a Debugging Aid | IEEE Conference Publication | IEEE Xplore