6 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Jan Obdrzalek, Marek Trtik
Symbolic execution is a successful and very popular technique used in software verification and testing. A key limitation of symbolic execution is in dealing with code containing l…