运行时程序验证相关硕士博士期刊学术论文 - 信丰网

运行时程序验证相关论文

基于插桩和布尔逻辑的运行时程序验证框架

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA......

期刊

RPA框架 RPAL语言运行时程序验证程序插桩布尔逻辑事实推理 RPA framework RPAL language runtime program

看过本文同时还关注