There exist various testing criteria, efficiency of which is usually evaluated through mutation analysis. This paper proposes an integer programming-based ...
確定! 回上一頁