F. J. Daniels K. C. Tai Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints. 74-83 1999 conf/tools/30-1999 TOOLS (30) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.787537 db/conf/tools/tools30-1999.html#DanielsT99