https://conf.researchr.org/details/icse-2024/klee-2024-papers/11/FastKLEE-Faster-Symbolic-Execution-via-Reducing-Redundant-Bound-Checking-of-Type-saf
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers...
This page will soon grow in content and contain information about the scope of this research track.