Zaslat SMS: Program-based, structural testing of shared memory parallel programs