正规性质相关硕士博士期刊学术论文 - 搜论网

正规性质相关论文

符号化验证关键技术研究

随着软件规模和复杂度的不断提高,软件缺陷问题不断出现。如何提高软件的可靠性已经成为软件工程领域的一个重要研究问题。程序验......

学位

程序验证符号执行模型检验正规性质切片引导 MPI 死锁 Master-Slave模式

符号执行可扩展性及可行性关键技术研究

软件质量保障是计算机科学中的重要研究问题。在航空、航天、国防、医疗等安全攸关的领域,软件的质量保障尤为重要。符号执行是于......

学位

符号执行猜测符号执行约束求解正规性质数据流分析启发式搜索 Web服务测试

看过本文同时还关注