Development and evaluation of a slicing-based C++ debugger | IEEE Conference Publication | IEEE Xplore