[klee-dev] Is it possible to implement a tool that genereates unit test driver for KLEE?

[Wei MA]

Dear All,


Recently, I found a series of papers from the same group that implements a tool that can generate unit test driver, http://swtv.kaist.ac.kr/tools/conbrio . But they use the other symbolic tool. Is it possible to do that in KLEE to implement a similar tool? Or there has been some work about it in KLEE.


Best Regards,

Wei Ma

-------------- next part --------------
HTML attachment scrubbed and removed