2 citations · 2 across the 1 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…