IEEE/ICACT20260382 Slide.13        [Big Slide]       Oral Presentation
We implemented our method within the KLEE symbolic execution engine, which is built on the LLVM compiler infrastructure for C and C++. The algorithms and methods are implemented using KLEE and LLVM API.

[Go to Next Slide]
Select Voice: