Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi. Techniques for specifying bug patterns. In Shmuel Ur, Eitan Farchi, editors, Proceedings of the 5th 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 2007), PADTAD 2007, London, UK, July 9, 2007. pages 27-35, ACM, 2007. [doi]
Abstract is missing.