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

被引：0
|
作者：
Jia, Haoxiang [1 ,2 ]
Wen, Ming [1 ,2 ]
Xie, Zifan [1 ,2 ]
Guo, Xiaochen [1 ,2 ]
Wu, Rongxin [2 ]
Sun, Maolin [2 ,3 ]
Chen, Kang [2 ,3 ]
Jin, Hai [2 ,3 ]
机构：
[1] School of Cyber Science and Engineering, Huazhong University of Science and Technology, China
[2] Hubei Engineering Research Center on Big Data Security, National Engineering Research Center for Big Data Technology and System, Hubei Key Laboratory of Distributed System Security, Services Computing Technology and System Lab, Cluster and Grid Computing L
[3] School of Informatics, Xiamen University, China
来源：
Proceedings - International Conference on Software Engineering | 2023年
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Input space - Java byte codes - Java virtual machine testing - Java virtual machines - Just-in-time compiler - Machine testing - Optimisations - Software-systems - Two-dimensional
引用
收藏
页码：43 / 55
相关论文
共 50 条
  • [1] Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
    Jia, Haoxiang
    Wen, Ming
    Xie, Zifan
    Guo, Xiaochen
    Wu, Rongxin
    Sun, Maolin
    Chen, Kang
    Jin, Hai
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 43 - 55
  • [2] Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking
    Tan, Xin
    Zhang, Yuan
    Yang, Xiyu
    Lu, Kangjie
    Yang, Min
    PROCEEDINGS OF THE 30TH USENIX SECURITY SYMPOSIUM, 2021, : 2471 - 2488
  • [3] Detecting Compiler Bugs Via a Deep Learning-Based Framework
    Tang, Yixuan
    Ren, Zhilei
    Jiang, He
    Qiao, Lei
    Liu, Dong
    Zhou, Zhide
    Kong, Weiqiang
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2022, 32 (05) : 661 - 691
  • [4] Detecting Simulink Compiler Bugs via Controllable Zombie Blocks Mutation
    Guo, Shikai
    Jiang, He
    Xu, Zhihao
    Li, Xiaochen
    Ren, Zhilei
    Zhou, Zhide
    Chen, Rong
    PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 1061 - 1072
  • [5] A Probabilistic Clustering Approach for Detecting Linear Structures in Two-Dimensional Spaces
    Stylianopoulos, Kyriakos
    Koutroumbas, Konstantinos
    PATTERN RECOGNITION AND IMAGE ANALYSIS, 2021, 31 (04) : 671 - 687
  • [6] A Probabilistic Clustering Approach for Detecting Linear Structures in Two-Dimensional Spaces
    Kyriakos Stylianopoulos
    Konstantinos Koutroumbas
    Pattern Recognition and Image Analysis, 2021, 31 : 671 - 687
  • [7] Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation
    Zeng, Junwei
    Tang, Yixuan
    Zhang, Jingxuan
    Li, Weiwei
    Huang, Zhiqiu
    PROCEEDINGS OF THE 15TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE, INTERNETWARE 2024, 2024, : 145 - 154
  • [8] TWO-DIMENSIONAL ROUTING FOR THE SILC SILICON COMPILER
    CIESIELSKI, MJ
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1985, 4 (03) : 198 - 203
  • [9] Two-Dimensional Helmholtz Spaces
    V. A. Kyrov
    Siberian Mathematical Journal, 2005, 46 : 1082 - 1096
  • [10] Two-dimensional Helmholtz spaces
    Kyrov, VA
    SIBERIAN MATHEMATICAL JOURNAL, 2005, 46 (06) : 1082 - 1096
12345