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