Parallel fault backtracing for calculation of fault coverage.

Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman

Browse the full ASPDAC paper archive.