1 paper
Soha Hussein, Stephen McCamant, Kelton OBrien +3
Symbolic execution plays a critical role in software reliability, as they are used to find bugs, generate test cases, and provide correctness guarantees, particularly for safety-cr…