复杂数据类型相关论文
模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。对......
随着软件工程的发展,基于组件的开发已经成为目前软件开发的主流模式。组件的可靠性和安全性直接影响整个系统的稳定性。组件的封......
作为保证软件质量的重要技术手段,软件测试是软件开发过程中不可缺少的环节。作为软件测试的核心,测试用例自动生成对于提高测试效......
