Replay for concurrent non-deterministic shared-memory applications
Keyword(s):
2014 ◽
Vol 74
(3)
◽
pp. 2215-2228
◽
Keyword(s):