"ParaDySE" is adopted to ICSE2018. (International Conference on Software Engineering)
The paper is <Automatically Generating Search Heuristics for CONCOLIC Testing>.ICSE is the one of the most prestigious conference in Software field.
Prof.Hakjoo Oh and student researchers introduced CONCOLIC (CONCrete + symbOLIC) testing in the paper.

If you'd like to get more information, please follow the links. (Only Korean)

ETnews (전자신문) : http://www.etnews.com/20180618000320
Maeil (매일일보) : http://www.m-i.kr/news/articleView.html?idxno=424932
newscj(천지뉴스) : http://www.newscj.com/news/articleView.html?idxno=530639
vritas-a(베리타스알파) : http://www.veritas-a.com/news/articleView.html?idxno=119020