ErrorTracer: a fault simulation-based approach to design error diagnosis | IEEE Conference Publication | IEEE Xplore