symbolic execution - Robuta Search

https://sasnauskas.eu/finding-software-bugs-using-symbolic-execution/

Internet home of Raimondas Sasnauskas. Stories of my journey.

https://zenodo.org/records/10516325

Decompress the "reproduction.zip" and refer to README.md to reproduce our work.

https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg03220.html