厦门大学学者库

学者信息

吴荣鑫

信息学院

归档
2024
2023
2022
2021
2020
合作者

已发表成果：

WOK 论文 27 篇;中文核心 1 篇;

  • Falcon: A fused approach to path-sensitive sparse data dependence analysis

    Proceedings of the ACM on Programming Languages,,2024-06-20.
    Yao, Peisen (1); Zhou, Jinguo (2); Xiao, Xiao (2); Shi, Qingkai (3); Wu, Rongxin (4); Zhang, Charle...
    EI:20242716563965   10.1145/3656400
    收录情况：EI

  • Learning to Detect Memory-related Vulnerabilities

    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,1049-331X,2024-02.
    Cao, Sicong; Sun, Xiaobing; Bo, Lili; Wu, Rongxin; Li, Bin; Wu, Xiaoxue; Tao, Chuanqi; Zhang, Tao; ...
    WOS:001168572500014   10.1145/3624744
    收录情况：SCIE

  • LIBALCHEMY: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems

    Proceedings - International Conference on Software Engineering,0270-5257,2024.
    Wu, Rongxin (1); He, Yuxuan (1); Huang, Jiafeng (1); Wang, Chengpeng (2); Tang, Wensheng (2); Shi, ...
    EI:20242616424570   10.1145/3597503.3639132
    收录情况：EI

  • Towards Effective and Efficient Error Handling Code Fuzzing Based on Software Fault Injection

    Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024,,2024.
    Chen, Kang (1, 5, 6); Wen, Ming (1, 2, 5, 6); Jia, Haoxiang (1, 5, 6); Wu, Rongxin (3); Jin, Hai (4...
    EI:20243116783643   10.1109/SANER60148.2024.00039
    收录情况：EI

  • Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation

    arXiv,,2023-03-13.
    Cao, Sicong (1); Sun, Xiaobing (1); Wu, Xiaoxue (1); Bo, Lili (1); Li, Bin (1); Wu, Rongxin (2); Li...
    EI:20230095283   10.48550/arXiv.2303.07593
    收录情况：EI

  • Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces

    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE,0270-5257,2023.
    Jia, Haoxiang; Wen, Ming; Xie, Zifan; Guo, Xiaochen; Wu, Rongxin; Sun, Maolin; Chen, Kang; Jin, Hai
    WOS:001032629800007   EI:20233914775047   10.1109/ICSE48619.2023.00016
    收录情况：EI、CPCI-S

  • Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation

    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE,0270-5257,2023.
    Cao, Sicong; Sun, Xiaobing; Wu, Xiaoxue; Bo, Lili; Li, Bin; Wu, Rongxin; Liu, Wei; He, Biao; Ouyang...
    WOS:001032629800035   EI:20233914774961   10.1109/ICSE48619.2023.00044
    收录情况：EI、CPCI-S

  • DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems

    Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023,1527-1366,2023.
    Tang, Wensheng; Wang, Chengpeng; Yao, Peisen; Wu, Rongxin; Fu, Xianjin; Fan, Gang; Zhang, Charles
    WOS:001103357200073   EI:20235015191734   10.1109/ASE56229.2023.00170
    收录情况：EI、CPCI-S

  • Demystifying Template-based Invariant Generation for Bit-Vector Programs

    Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023,1527-1366,2023.
    Yao, Peisen; Ke, Jingyu; Sun, Jiahui; Fu, Hongfei; Wu, Rongxin; Ren, Kui
    WOS:001103357200054   EI:20235015191776   10.1109/ASE56229.2023.00069
    收录情况：EI、CPCI-S

  • PINOLO: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis

    Proceedings of the 2023 USENIX Annual Technical Conference, ATC 2023,,2023.
    Hao, Zongyin (1); Huang, Quanfeng (1); Wang, Chengpeng (2); Wang, Jianfeng (3); Zhang, Yushan (4); ...
    EI:20235215275296  
    收录情况：EI

  • smartPip: A Smart Approach to Resolving Python Dependency Conflict Issues

    ACM International Conference Proceeding Series,1527-1366,2022-09-19.
    Wang, Chao; Wu, Rongxin; Song, Haohao; Shu, Jiwu; Li, Guoqing
    WOS:001062775200178   EI:20230513464147   10.1145/3551349.3560437
    收录情况：EI、CPCI-S

  • Accelerating Build Dependency Error Detection via Virtual Build

    ACM International Conference Proceeding Series,1527-1366,2022-09-19.
    Wu, Rongxin; Chen, Minglei; Wang, Chengpeng; Fan, Gang; Qiu, Jiguang; Zhang, Charles
    WOS:001062775200038   EI:20230513464595   10.1145/3551349.3556930
    收录情况：EI、CPCI-S

  • Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search (HOP at GECCO'22)

    GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference,,2022-07-09.
    Luo, Yixing; Zhang, Xiao-Yi; Arcaini, Paolo; Jin, Zhi; Zhao, Haiyan; Ishikawa, Fuyuki; Wu, Rongxin;...
    WOS:001035469400017   EI:20223312576712   10.1145/3520304.3534064
    收录情况：EI、CPCI-S

  • BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning

    Proceedings - IEEE Symposium on Security and Privacy,1081-6011,2022.
    Huang, Heqing (1); Guo, Yiyuan (1); Shi, Qingkai (1); Yao, Peisen (1); Wu, Rongxin (2); Zhang, Char...
    EI:20223412587263   10.1109/SP46214.2022.9833751
    收录情况：EI

  • MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks

    Proceedings - International Conference on Software Engineering,0270-5257,2022.
    Cao, Sicong; Sun, Xiaobing; Bo, Lili; Wu, Rongxin; Li, Bin; Tao, Chuanqi
    WOS:000832185400118   EI:20222812334074   10.1145/3510003.3510219
    收录情况：EI、CPCI-S

  • 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

  • Escaping dependency hell: Finding build dependency errors with the unified dependency graph

    ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,,2020-07-18.
    Fan, Gang (1); Wang, Chengpeng (1); Wu, Rongxin (2); Xiao, Xiao (3); Shi, Qingkai (1); Zhang, Charl...
    EI:20203209015108   10.1145/3395363.3397388
    收录情况：EI

  • Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks

    Proceedings - International Conference on Software Engineering,0270-5257,2020-06-27.
    Shi, Qingkai; Wu, Rongxin; Fan, Gang; Zhang, Charles
    WOS:000652529800067   EI:20204409433210   10.1145/3377811.3380346
    收录情况：EI、CPCI-S

  • Will Dependency Conflicts Affect My Program’s Semantics?

    arXiv,,2020-06-13.
    Wang, Ying (1); Wu, Rongxin (2); Wang, Chao (1); Wen, Ming (3); Liu, Yepang (4); Cheung, ShingChi (...
    EI:20200549214  
    收录情况：EI

  • PANGOLIN: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction

    Proceedings - IEEE Symposium on Security and Privacy,1081-6011,2020-05.
    Huang, Heqing; Yao, Peisen; Wu, Rongxin; Shi, Qingkai; Zhang, Charles
    WOS:000618063500095   EI:20204009253349   10.1109/SP40000.2020.00063
    收录情况：EI、CPCI-S

  • 高精度的大规模程序数据竞争检测方法

    软件学报,1000-9825,2021-07-05.
    高凤娟;王豫;周金果;徐安孜;王林章;吴荣鑫;张川;苏振东
    CSCD核心