Author:
Giachino Elena,Lanese Ivan,Mezzina Claudio Antares
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Arya, K., Denniston, T., Visan, A.M., Cooperman, G.: Fred: Automated debugging via binary search through a process lifetime. CoRR, abs/1212.5204 (2012)
2. CaReDeb 0.5.0, a causal-consistent reversible debugger (2013), http://www.cs.unibo.it/caredeb
3. Chen, S.-K., Fuchs, W.K., Chung, J.-Y.: Reversible debugging using program instrumentation. IEEE Trans. Software Eng. 27(8), 715–727 (2001)
4. Chronon Systems. Commercial reversible debugger, http://chrononsystems.com/
5. Cristescu, I., Krivine, J., Varacca, D.: A compositional semantics for the reversible pi-calculus. In: LICS, pp. 388–397. IEEE Computer Society (2013)
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献