Sen, Koushik, Agha, Gul: CUTE and jCUTE: Concolic unit testing and explicit path ... Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic ...
確定! 回上一頁