Dear Wei Ma, Could you please summarise and provide a few details how the other symbolic execution engine is used? This should help people to answer if this is possible with KLEE.
All the best, Martin On 31. Aug 2019, at 15:24, Wei MA <[email protected]<mailto:[email protected]>> wrote: 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 _______________________________________________ klee-dev mailing list [email protected]<mailto:[email protected]> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
