Vectorizing Program Ingredients for Better JVM Testing

Gao, TC; Chen, JJ; Zhao, YQ; Zhang, YQ; Zhang, LM

Chen, JJ (通讯作者),Tianjin Univ, Coll Intelligence & Comp, Tianjin, Peoples R China.

PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023; (): 526

Abstract

JVM testing is one of the most widely-used methodologies for guaranteeing the quality of JVMs. Among various JVM testing techniques, synthesis-based J......

Full Text Link