TY  - RPRT
TI  - Scaling Symbolic Execution to Large Software Systems
AU  - Gabor Horvath
AU  - Reka Kovacs
AU  - Zoltan Porkolab
PY  - 2024
UR  - https://arxiv.org/abs/2408.01909
ID  - 2408.01909
ER  -