Thesis Overview: Software for Multi-Core Processor-Based Architectures. Automatic Detection of Concurrency Errors. - FRATI, Fernando Emmanuel (Journal of Computer Science & Technology (JCS&T), 2015)