PADTAD06

S. Bensalem, J.-C. Fernandez, K. Havelund, L. Mounier. Confirmation of Deadlock Potentials Detected by Runtime Analysis. In Parallel and Distributed Systems: Testing and Debugging 2006 (PADTAD'06), Seattle, (USA), July 2006.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@InProceedings{PADTAD06,
   Author = {Bensalem, S. and Fernandez, J.-C. and Havelund, K. and Mounier, L.},
   Title = {Confirmation of Deadlock Potentials Detected by Runtime Analysis},
   BookTitle = {Parallel and Distributed Systems: Testing and Debugging 2006 (PADTAD'06)},
   Address = {Seattle, (USA)},
   Month = {July},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)