Distributed Assertion Checking Using Symbolic Execution. - Guowei Yang 001; Quan Chau Dong Do; Junye Wen (ACM SIGSOFT Softw. Eng. Notes, 2015)

Staged Symbolic Execution for Parallel Property Checking. - Junye Wen; Guowei Yang 001 (ACM SIGSOFT Softw. Eng. Notes, 2016)

Using Test Ranges to Improve Symbolic Execution. - Rui Qiu; Sarfraz Khurshid; Corina S. Pasareanu; Junye Wen; Guowei Yang 001 (NFM, 2018)

Parallel Property Checking with Symbolic Execution. - Junye Wen; Guowei Yang 001 (SEKE, 2018)

Parallel property checking with staged symbolic execution. - Junye Wen; Guowei Yang 001 (SAC, 2019)

Chapter Five - Advances in Symbolic Execution. - Guowei Yang 001; Antonio Filieri; Mateus Borges; Donato Clun; Junye Wen (Adv. Comput., 2019)

A synergistic approach to improving symbolic execution using test ranges. - Guowei Yang 001; Rui Qiu; Sarfraz Khurshid; Corina S. Pasareanu; Junye Wen (Innov. Syst. Softw. Eng., 2019)

Summary-guided incremental symbolic execution. - Qiuping Yi; Junye Wen; Guowei Yang 001 (ICSE (Companion Volume), 2020)

Constraint Solving with Deep Learning for Symbolic Execution. - Junye Wen; Mujahid Khan; Meiru Che; Yan Yan 002; Guowei Yang 001 (CoRR, 2020)

Intelligent Constraint Classification for Symbolic Execution. - Junye Wen; Tarek Mahmud; Meiru Che; Yan Yan 002; Guowei Yang 001 (SANER, 2023)