“Parallelization of test pattern generation in multi-core systems”, by Stavros Hadjitheophanous