Concolic execution vs symbolic execution. Seperti bola pingpong. Non relational database example. 早上 起床 口水 有 血.