Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing
Yingquan Zhao, Zan Wang, Junjie Chen, Ruifeng Fu, Yongbin Lu, Tianchang Gao, Haojie Ye · 2024
Java Virtual Machine (JVM) holds a crucial position in executing various Java programs, thereby necessitating rigorous testing to ensure software reliability and security. Regarding existing JVM testing techniques, synthesis-based techniques have proven to be state-of-the-art, which construct a test program by synthesizing various program ingredients extracted from historical bug-revealing test programs into a seed program. However, existing synthesis-based techniques directly use the program ingredients specific to historical bugs, which limits the test scope without the ability of covering more JVM features and negatively affects the diversity of synthesized test programs.