Special Issue on Testing, Analysis and Debugging of Concurrent ProgramsEitan Farchi, Robert M. Hierons, João M. LourençoPosted May 1, 2015 Cite Link