A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code
2017
IEICE transactions on information and systems
When debugging bugs, programmers often prepare test cases to reproduce buggy behaviours. However, for concurrent programs, test cases alone are typically insufficient to reproduce buggy behaviours, due to the nondeterminism of multi-threaded executions. In literature, various approaches have been proposed to reproduce buggy behaviours for concurrency bugs deterministically, but to the best of our knowledge, they are still limited. In particular, we have recognized three debugging scenarios from
doi:10.1587/transinf.2016edp7388
fatcat:txf5hrf7wfakrhw6ouqhf5fqzi