Publications
Towards optimal concolic testing
Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin, ICSE 2018: 291-302, ICSE 2018: 291-302, ICSE 2018: 291-302, ICSE 2018: 291-302, ICSE 2018: 291-302, ICSE 2018: 291-302, https://dl.acm.org/doi/10.1145/3180155.3180177