We use JaCoCo [4] to measure the branch coverage of the generated test inputs. ... branches for auxiliary methods and excluding infeasible branches).
確定! 回上一頁