Junye Wen

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Topics

Weakly Supervised

Constraint Solving

Symbolic Execution

Simulated Annealing Algorithm

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Innov. Syst. Softw. Eng.

Publications

Junye Wen, Tarek Mahmud, Meiru Che, Yan Yan, Guowei Yang
Intelligent Constraint Classification for Symbolic Execution. SANER (2023)
Junye Wen, Mujahid Khan, Meiru Che, Yan Yan, Guowei Yang
Constraint Solving with Deep Learning for Symbolic Execution. CoRR (2020)
Qiuping Yi, Junye Wen, Guowei Yang
Summary-guided incremental symbolic execution. ICSE (Companion Volume) (2020)
Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen
A synergistic approach to improving symbolic execution using test ranges. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen
Chapter Five - Advances in Symbolic Execution. Adv. Comput. 113 (2019)
Junye Wen, Guowei Yang
Parallel property checking with staged symbolic execution. SAC (2019)
Junye Wen, Guowei Yang
Parallel Property Checking with Symbolic Execution. SEKE (2018)
Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang
Using Test Ranges to Improve Symbolic Execution. NFM (2018)
Junye Wen, Guowei Yang
Staged Symbolic Execution for Parallel Property Checking. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Guowei Yang, Quan Chau Dong Do, Junye Wen
Distributed Assertion Checking Using Symbolic Execution. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)