Junye Wen

According to our database, Junye Wen authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Intelligent Constraint Classification for Symbolic Execution.

Junye Wen, Tarek Mahmud, Meiru Che, Yan Yan, Guowei Yang

Proceedings of the IEEE International Conference on Software Analysis, 2023

2020

Constraint Solving with Deep Learning for Symbolic Execution.

Junye Wen, Mujahid Khan, Meiru Che, Yan Yan, Guowei Yang

CoRR, 2020

Summary-guided incremental symbolic execution.

Qiuping Yi, Junye Wen, Guowei Yang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

A synergistic approach to improving symbolic execution using test ranges.

Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen

Innov. Syst. Softw. Eng., 2019

Chapter Five - Advances in Symbolic Execution.

Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen

Adv. Comput., 2019

Parallel property checking with staged symbolic execution.

Junye Wen, Guowei Yang

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Parallel Property Checking with Symbolic Execution.

Junye Wen, Guowei Yang

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Using Test Ranges to Improve Symbolic Execution.

Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2016

Staged Symbolic Execution for Parallel Property Checking.

Junye Wen, Guowei Yang

ACM SIGSOFT Softw. Eng. Notes, 2016

2015

Distributed Assertion Checking Using Symbolic Execution.

Guowei Yang, Quan Chau Dong Do, Junye Wen

ACM SIGSOFT Softw. Eng. Notes, 2015