Special issue on testing, analysis and debugging of concurrent programs. (May 2015) - Farchi, Eitan