結果 : encoding bugs in software testing methodologies