Links for coverage-sbfl