会议论文《基于Java内存模型的并发程序模型检测》发表于第五届中国测试学术会议。该文探讨了在Java内存模型下对并发程序进行模型检测的方法，旨在提高并发程序的正确性和可靠性。研究通过分析线程间的交互与内存可见性问题，提出了一种有效的检测机制，有助于发现潜在的并发错误，为软件测试提供了理论支持和实践指导。
文档为pdf格式，0.35MB，总共5页。
举报
