Publications
Filters
Topical Coherence in LDA-based Models through Induced Segmentation
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Towards Next Generation Touring: Personalized Group Tours
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