Generating concurrent test-programs with collisions for multi-processor verification.

Allon Adir Gil Shurek

Published in: HLDVT (2002)

Keyphrases

multi processor
program execution
multi core processors
shared memory
single processor
real time
genetic algorithm
evolutionary algorithm
test cases
computer programs