Concolic execution vs symbolic execution. Seperti bola pingpong.

Non relational database example. 早上 起床 口水 有 血.