Towards optimal concolic testing