Wen, Junye
136  results:
Search for persons X
?
1

Synchronous Double Primary Tumors of Liver (Small Cell Neur..:

Bu, Yuqing ; Wen, Junye ; Wang, Fayan...
Hepatic Medicine: Evidence and Research.  16 (2024)  - p. 31-36 , 2024
 
?
2

Neurilemmoma of descending colon: A case report:

Li, Zhaolan ; Hu, Xiaojie ; Wang, Chu.
Asian Journal of Surgery.  47 (2024)  7 - p. 3363-3364 , 2024
 
?
3

Hepatic myxoinflammatory fibroblastic sarcoma: A case repor..:

Shan, Kunkun ; Wen, Junye ; Ma, Xiaoli.
Asian Journal of Surgery.  46 (2023)  10 - p. 4444-4446 , 2023
 
?
4

Intelligent Constraint Classification for Symbolic Executio:

, In: 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),
Wen, Junye ; Mahmud, Tarek ; Che, Meiru.. - p. 144-154 , 2023
 
?
5

Using Delphi -Fuzzy to Construct a Multi-attribute Decision..:

, In: 2022 2nd International Conference on Computation, Communication and Engineering (ICCCE),
Sun, Yue ; Wen, Junye ; Cheng, Ash. - p. 98-101 , 2022
 
?
10

Summary-guided incremental symbolic execution:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings,
Yi, Qiuping ; Wen, Junye ; Yang, Guowei - p. 310-311 , 2020
 
?
11

Parallel property checking with staged symbolic execution:

, In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing,
Wen, Junye ; Yang, Guowei - p. 1802-1809 , 2019
 
?
12

A synergistic approach to improving symbolic execution usin..:

Yang, Guowei ; Qiu, Rui ; Khurshid, Sarfraz..
Innovations in Systems and Software Engineering.  15 (2019)  3-4 - p. 325-342 , 2019
 
?
13

Staged Symbolic Execution for Parallel Property Checking:

Wen, Junye ; Yang, Guowei
ACM SIGSOFT Software Engineering Notes.  41 (2017)  6 - p. 1-5 , 2017
 
?
14

Distributed Assertion Checking Using Symbolic Execution:

Yang, Guowei ; Do, Quan Chau Dong ; Wen, Junye
ACM SIGSOFT Software Engineering Notes.  40 (2015)  6 - p. 1-5 , 2015
 
?
 
1-15