3 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley +1
Dynamic Symbolic Execution (DSE) is an important method for the testing of programs. An important system on DSE is KLEE which inputs a C/C++ program annotated with symbolic variabl…