Efficient directed test generation for validation of multicore architectures | IEEE Conference Publication | IEEE Xplore