DyTa: dynamic symbolic execution guided with static verification results.

Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann

Browse the full ICSE paper archive.