FCEP: A Fast Concolic Execution for Reaching Software Patches.

Meng Fan, Wenzhi Wang, Aimin Yu, Dan Meng

Browse the full SEKE paper archive.