TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance.

Meng Fan, Wenzhi Wang, Aimin Yu, Dan Meng

Browse the full ICA3PP paper archive.