Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier. Confirmation of deadlock potentials detected by runtime analysis. In Shmuel Ur, Eitan Farchi, editors, Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July . pages 41-50, ACM, 2006. [doi]
Abstract is missing.