基于代数规范测试Java组件| IEEE会议出版物| IEEE Xplore