結果 : path predicates in software testing with examples