Hi list, the paper for the next reading group (29. 10.) will be the following: Hybrid Concolic Testing Majumdar, R., Sen, K.: https://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4222603 I will present the paper. Btw. the reading group has a new website (https://rtime.felk.cvut.cz/reading-group/), where you can find what will be the next paper as well as which papers were discussed in the past. -Michal