School of Computing Queen's University Kingston, ON, Canada;
School of Computing Queen's University Kingston, ON, Canada;
机译:机器学习转向符号执行框架复杂软件代码
机译:将符号执行集成到基于形式的抽象状态机的语言中
机译:将符号执行集成到基于形式的抽象状态机的语言中
机译:符号执行通信和分层组合UML-RT状态机
机译:整合机器学习和符号推理:学习从弱监督中生成符号表示
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:检查状态机描述的属性:关于仪表,切片和符号执行的协同作用