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