University Politehnica of Bucharest;
Neutrons; Reachability analysis; Testing; Debugging; Middleboxes; Ports (Computers);
机译:使用符号执行网络协议来增强一致性测试
机译:SymbexNet:使用符号执行和基于规则的规范测试网络协议实现
机译:集成多用途自然语言理解,机器人的记忆,以及人形机器人任务执行的象征性规划
机译:用于人类的OpenStack网络:对救援的象征性执行
机译:分析绩效计划,进行信息交互实验; cas d'OpenStack =使用实验方法设计将OpenStack评估作为云中间件。应用程序:OpenStack
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:用于网络协议实现和漏洞检测的模型引导的符号执行方法。