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

这篇论文关注 Java 虚拟机（JVM）的测试方法。JVM 是运行 Java 程序的核心基础设施，其可靠性直接影响大量应用的稳定与安全，因此对 JVM 进行严格测试非常重要。现有 JVM 测试技术中，基于合成（synthesis）的方法被认

历史摘要 · 未重新核验 · ACM CCS