While model-based mutation testing has already been applied to timed automata, we show how to implement the technique more efficiently with the tool Ecdar,.
確定！ 回上一頁
