Confirmation of deadlock potentials detected by runtime analysis.

Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier

Browse the full ISSTA paper archive.