Proceedings 2000 IEEE International Workshop on Defect Based Testing (Cat. No.PR00637)