CUTE represents and solves pointer constraints approximately. ... A new version of the EXE tool, KLEE (Cadar et al., 2008) stores a much larger number of ...
確定! 回上一頁