Selective Concolic Testing