Rajsekhar Adapa Spyros Tragoudas Prioritization of Paths for Diagnosis. 474-481 2008 DFT http://dx.doi.org/10.1109/DFT.2008.46 conf/dft/2008 db/conf/dft/dft2008.html#AdapaT08