Systematic concurrency testing using CHESS

Madan Musuvathi. Systematic concurrency testing using CHESS. In Shmuel Ur, editor, Proceedings of the 6th 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 2008), PADTAD 2008, Seattle, Washington, USA, J. pages 10, ACM, 2008. [doi]

Abstract

Abstract is missing.