学者信息
已发表成果：
WOK 论文 27 篇;中文核心 1 篇;
-
Historical Spectrum Based Fault Localization
IEEE Transactions on Software Engineering,0098-5589,2021-11-01.
Wen, Ming; Chen, Junjie; Tian, Yongqiang; Wu, Rongxin; Hao, Dan; Han, Shi; Cheung, Shing-Chi
WOS:000717767100003 EI:20214811219925 10.1109/TSE.2019.2948158
收录情况：SCIE、EI -
Skeletal Approximation Enumeration for SMT Solver Testing
ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering,,2021-08-20.
Yao, Peisen; Huang, Heqing; Tang, Wensheng; Shi, Qingkai; Wu, Rongxin; Zhang, Charles
WOS:000744425500098 EI:20214010982535 10.1145/3468264.3468540
收录情况：EI、CPCI-S -
Fuzzing SMT solvers via two-dimensional input space exploration
ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis,,2021-07-11.
Yao, Peisen (1); Huang, Heqing (1); Tang, Wensheng (1); Shi, Qingkai (1); Wu, Rongxin (2); Zhang, C...
EI:20213110707465 10.1145/3460319.3464803
收录情况：EI -
High-precision Data Race Detection Method for Large Scale Programs
Ruan Jian Xue Bao/Journal of Software,1000-9825,2021-07.
Gao, Feng-Juan (1); Wang, Yu (1); Zhou, Jin-Guo (2); Xu, An-Zi (1); Wang, Lin-Zhang (1); Wu, Rong-X...
EI:20212710594046 10.13328/j.cnki.jos.006260
收录情况：EI -
Path-Sensitive Sparse Analysis without Path Conditions
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),,2021-06-18.
Shi, Qingkai; Yao, Peisen; Wu, Rongxin; Zhang, Charles
WOS:000723661700060 EI:20212710580044 10.1145/3453483.3454086
收录情况：EI、CPCI-S -
Will Dependency Conflicts Affect My Program's Semantics
IEEE Transactions on Software Engineering,0098-5589,2021.
Wang, Ying (1); Wu, Rongxin (2); Wang, Chao (3); Wen, Ming (4); Liu, Yepang (5); Cheung, S.C. (6); ...
EI:20210809935896 10.1109/TSE.2021.3057767
收录情况：EI -
TRANSCODE: Detecting Status Code Mapping Errors in Large-Scale Systems
Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021,,2021.
Tang, Wensheng; Hu, Yikun; Fan, Gang; Yao, Peisen; Wu, Rongxin; Bai, Guangyuan; Wang, Pengcheng; Zh...
WOS:000779309000070 EI:20220911734474 10.1109/ASE51524.2021.9678823
收录情况：EI、CPCI-S -
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021,,2021.
Luo, Yixing (1, 2); Zhang, Xiao-Yi (3); Arcaini, Paolo (3); Jin, Zhi (1, 2); Zhao, Haiyan (1, 2); I...
EI:20220911734496 10.1109/ASE51524.2021.9678883
收录情况：EI
-
高精度的大规模程序数据竞争检测方法
软件学报,1000-9825,2021-07-05.
高凤娟;王豫;周金果;徐安孜;王林章;吴荣鑫;张川;苏振东
CSCD核心