To improve performance, some processors include multiple cores. To utilize the benefits of the multiple cores, however, software needs to be written to utilize these additional resources. Moreover, enabling the development of parallel software which scales well with an increasing number of processing units is one of the key challenges for the success of multi-core based processor technologies. Accordingly, reliable debugging methods are an important factor for allowing software developers to deploy applications exploiting these hardware capabilities with an expected level of quality and under reasonable time and cost budgets.