Our paper Towards Optimal Concolic Testing is humbled to win the ACM SIGSOFT Distinguished Paper Award at ICSE 2018!
This work proposed a formal model to analyze the optimal strategy for program concolic testing as well as a practical algorithm to approximate such a strategy.