Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman. Parallel fault backtracing for calculation of fault coverage. In Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008. pages 667-672, IEEE, 2008. [doi]
Abstract is missing.