Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing.

Yingquan Zhao, Zan Wang, Junjie Chen, Ruifeng Fu, Yanzhou Lu, Tianchang Gao, Haojie Ye

Browse the full CCS paper archive.