Title: International Workshop on Defect Based Testing (Dbt 2000) Proceedings