MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor Systems | IEEE Conference Publication | IEEE Xplore